INQUISITIVE BISIMULATION
DOI10.1017/JSL.2020.77OpenAlexW4206039406MaRDI QIDQ5000255FDOQ5000255
Martin Otto, Ivano A. Ciardelli
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
team semanticsfinite model theorybisimulationexpressive completenessvan Benthem theoreminquisitive modal logicmodel theory of modal logics
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Logic in computer science (03B70) Basic properties of first-order languages and structures (03C07) Applications of model theory (03C98)
Cites Work
- Title not available (Why is that?)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Compositional semantics for a language of imperfect information
- Title not available (Why is that?)
- Propositional logics of dependence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dependency as Question Entailment
- Inquisitive logic
- From IF to BI. A tale of dependence and separation
- Inquisitive Semantics
- Neighborhood semantics for modal logic
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Modal characterisation theorems over special classes of frames
- Towards a Logic of Information Exchange
- Inquisitive dynamic epistemic logic
- On the semantics and logic of declaratives and interrogatives
- A Van Benthem Theorem for Modal Team Semantics
- Modal logic over finite structures
- Modal and guarded characterisation theorems over finite transition systems
- Questions as information types
- Title not available (Why is that?)
- Highly acyclic groups, hypergraph covers, and the guarded fragment
Cited In (4)
Recommendations
- Title not available (Why is that?) π π
- Bisimulation and logic π π
- Title not available (Why is that?) π π
- Symbolic bisimulations π π
- Bisimulation and divergence π π
- Title not available (Why is that?) π π
- Bisimulation invariance and finite models π π
- On quasi-open bisimulation π π
- Vietoris bisimulations π π
- Bisimulation as a logical relation π π
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)