INQUISITIVE BISIMULATION
DOI10.1017/jsl.2020.77OpenAlexW4206039406MaRDI QIDQ5000255
Martin Otto, Ivano A. Ciardelli
Publication date: 12 July 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1803.03483
expressive completenessbisimulationfinite model theoryteam semanticsvan Benthem theoreminquisitive modal logicmodel theory of modal logics
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional logics of dependence
- Inquisitive dynamic epistemic logic
- On the semantics and logic of declaratives and interrogatives
- Inquisitive logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Modal characterisation theorems over special classes of frames
- From IF to BI. A tale of dependence and separation
- Modal logic over finite structures
- Questions as information types
- Modal and guarded characterisation theorems over finite transition systems
- Neighborhood semantics for modal logic
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Compositional semantics for a language of imperfect information
- Inquisitive Semantics
- Towards a Logic of Information Exchange
- Dependency as Question Entailment
- A Van Benthem Theorem for Modal Team Semantics
- Highly acyclic groups, hypergraph covers, and the guarded fragment
This page was built for publication: INQUISITIVE BISIMULATION