{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:2LXDHMCPUU3P4ZJX2ZA7DQSRAM","short_pith_number":"pith:2LXDHMCP","schema_version":"1.0","canonical_sha256":"d2ee33b04fa536fe6537d641f1c2510339bdc8ef4b2f9cf621826d92ca9e6b86","source":{"kind":"arxiv","id":"1811.09454","version":2},"attestation_state":"computed","paper":{"title":"Propositional modal logic with implicit modal quantification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anantha Padmanabha, R Ramanujam","submitted_at":"2018-11-23T12:42:16Z","abstract_excerpt":"Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we consider a variable-free propositional bi-modal logic with implicit quantification. Thus $[\\forall] \\alpha$ asserts necessity over all accessibility relations and $[\\exists] \\alpha$ is classical necessity over some accessibility relation. The logic is associated with a natural bisimulation relation over models and we show that the logic is exactly the bisimulat"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.09454","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-23T12:42:16Z","cross_cats_sorted":[],"title_canon_sha256":"131e75dde34faac8855e6fa7bf3658bd2d17d589ae81252b4e9481afd86e3704","abstract_canon_sha256":"ca4c96929149b89afc69da823acf37f0eaa50b8b6d5ea627d4c392b56d0257f1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:14.714745Z","signature_b64":"U3ZqFZDiSINoQOIF9Xw9LVp7yaw5rWoX6TWUI7ElbmOykR8Zxr7LVSUjCwYbBeET25hiLvAchqvtKgA6QpH4Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2ee33b04fa536fe6537d641f1c2510339bdc8ef4b2f9cf621826d92ca9e6b86","last_reissued_at":"2026-05-17T23:57:14.714177Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:14.714177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Propositional modal logic with implicit modal quantification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anantha Padmanabha, R Ramanujam","submitted_at":"2018-11-23T12:42:16Z","abstract_excerpt":"Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we consider a variable-free propositional bi-modal logic with implicit quantification. Thus $[\\forall] \\alpha$ asserts necessity over all accessibility relations and $[\\exists] \\alpha$ is classical necessity over some accessibility relation. The logic is associated with a natural bisimulation relation over models and we show that the logic is exactly the bisimulat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.09454","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.09454","created_at":"2026-05-17T23:57:14.714260+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.09454v2","created_at":"2026-05-17T23:57:14.714260+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.09454","created_at":"2026-05-17T23:57:14.714260+00:00"},{"alias_kind":"pith_short_12","alias_value":"2LXDHMCPUU3P","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_16","alias_value":"2LXDHMCPUU3P4ZJX","created_at":"2026-05-18T12:32:02.567920+00:00"},{"alias_kind":"pith_short_8","alias_value":"2LXDHMCP","created_at":"2026-05-18T12:32:02.567920+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM","json":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM.json","graph_json":"https://pith.science/api/pith-number/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/graph.json","events_json":"https://pith.science/api/pith-number/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/events.json","paper":"https://pith.science/paper/2LXDHMCP"},"agent_actions":{"view_html":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM","download_json":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM.json","view_paper":"https://pith.science/paper/2LXDHMCP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.09454&json=true","fetch_graph":"https://pith.science/api/pith-number/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/graph.json","fetch_events":"https://pith.science/api/pith-number/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/action/storage_attestation","attest_author":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/action/author_attestation","sign_citation":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/action/citation_signature","submit_replication":"https://pith.science/pith/2LXDHMCPUU3P4ZJX2ZA7DQSRAM/action/replication_record"}},"created_at":"2026-05-17T23:57:14.714260+00:00","updated_at":"2026-05-17T23:57:14.714260+00:00"}