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

zbMATH Keywords

expressive completenessbisimulationfinite model theoryteam semanticsvan Benthem theoreminquisitive modal logicmodel theory of modal logics

Mathematics Subject Classification ID

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)

A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Inquisitive logic as an epistemic logic of knowing how

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