INQUISITIVE BISIMULATION

DOI10.1017/JSL.2020.77MaRDI QIDQ5000255zbMATH OpenOpenAlexFDO

Authors Ivano A. Ciardelli, Martin Otto

Publication date 12 July 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.03483

zbMATH Keywords

bisimulationexpressive completenessfinite model theoryinquisitive modal logicmodel theory of modal logicsteam semanticsvan Benthem theorem

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Logic with extra quantifiers and operators (03C80) Applications of model theory (03C98)

Recommendations

• Bisimulation in inquisitive modal logic
• Bisimulation and logic
• Logic-induced bisimulations
• Symbolic bisimulations
• Bisimulation and divergence
• scientific article; zbMATH DE number 4166873
• Bisimulation invariance and finite models
• On quasi-open bisimulation
• Vietoris bisimulations
• Bisimulation as a logical relation

Cites work

• A Van Benthem Theorem for Modal Team Semantics
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Dependency as question entailment
• From IF to BI. A tale of dependence and separation
• Handbook of modal logic
• Highly acyclic groups, hypergraph covers, and the guarded fragment
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• Inquisitive semantics
• Modal and guarded characterisation theorems over finite transition systems
• Modal characterisation theorems over special classes of frames
• Modal dependence logic
• Modal logic over finite structures
• Modalities in the realm of questions: axiomatizing inquisitive epistemic logic
• Neighborhood semantics for modal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• On the semantics and logic of declaratives and interrogatives
• Propositional logics of dependence
• Questions as information types
• Towards a Logic of Information Exchange

Cited in

(12)

• Inquisitive logic as an epistemic logic of knowing how
• scientific article; zbMATH DE number 7015161 (Why is no real title available?)
• A first-order framework for inquisitive modal logic
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• Describing neighborhoods in inquisitive modal logic
• Inquisitive bisimulation
• Inquisitive neighborhood logic
• Decidability of inquisitive modal logic via filtrations
• A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures
• State-based modal logics for free choice
• Geometric theories in inquisitive modal logic
• Connecting state-based and team-based inquisitive logic

This page was built for publication: INQUISITIVE BISIMULATION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000255)