{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RTS2RHQET7W4ZT4MQRRFEXV75D","short_pith_number":"pith:RTS2RHQE","schema_version":"1.0","canonical_sha256":"8ce5a89e049fedcccf8c8462525ebfe8fb041454a0b6e4615e27412d94f5a88e","source":{"kind":"arxiv","id":"1707.08742","version":1},"attestation_state":"computed","paper":{"title":"Bisimulation in Inquisitive Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ivano Ciardelli (ILLC, Martin Otto (Technische Universit\\\"at Darmstadt), University of Amsterdam)","submitted_at":"2017-07-27T07:47:49Z","abstract_excerpt":"Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the "},"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":"1707.08742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-27T07:47:49Z","cross_cats_sorted":[],"title_canon_sha256":"ee1fc8d731d1726694f31a808ae8aa85aa763ba0ad9bece7259cb12c8cfa4260","abstract_canon_sha256":"b537483c4c12b1732d265d45a6755c8c37a752eea367cc720baf38ba4cc11e16"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:19.732416Z","signature_b64":"vez2LdIC2eXQKQai0RnYS3LN5LnAaiDcDjl21ARwZFpiSyEHIOWRTHN01VsmQKWEgbDoifNIXJyyFfhOkb5cDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ce5a89e049fedcccf8c8462525ebfe8fb041454a0b6e4615e27412d94f5a88e","last_reissued_at":"2026-05-18T00:39:19.731557Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:19.731557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bisimulation in Inquisitive Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ivano Ciardelli (ILLC, Martin Otto (Technische Universit\\\"at Darmstadt), University of Amsterdam)","submitted_at":"2017-07-27T07:47:49Z","abstract_excerpt":"Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08742","kind":"arxiv","version":1},"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":"1707.08742","created_at":"2026-05-18T00:39:19.731684+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.08742v1","created_at":"2026-05-18T00:39:19.731684+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08742","created_at":"2026-05-18T00:39:19.731684+00:00"},{"alias_kind":"pith_short_12","alias_value":"RTS2RHQET7W4","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RTS2RHQET7W4ZT4M","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RTS2RHQE","created_at":"2026-05-18T12:31:39.905425+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/RTS2RHQET7W4ZT4MQRRFEXV75D","json":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D.json","graph_json":"https://pith.science/api/pith-number/RTS2RHQET7W4ZT4MQRRFEXV75D/graph.json","events_json":"https://pith.science/api/pith-number/RTS2RHQET7W4ZT4MQRRFEXV75D/events.json","paper":"https://pith.science/paper/RTS2RHQE"},"agent_actions":{"view_html":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D","download_json":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D.json","view_paper":"https://pith.science/paper/RTS2RHQE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.08742&json=true","fetch_graph":"https://pith.science/api/pith-number/RTS2RHQET7W4ZT4MQRRFEXV75D/graph.json","fetch_events":"https://pith.science/api/pith-number/RTS2RHQET7W4ZT4MQRRFEXV75D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D/action/storage_attestation","attest_author":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D/action/author_attestation","sign_citation":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D/action/citation_signature","submit_replication":"https://pith.science/pith/RTS2RHQET7W4ZT4MQRRFEXV75D/action/replication_record"}},"created_at":"2026-05-18T00:39:19.731684+00:00","updated_at":"2026-05-18T00:39:19.731684+00:00"}