Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
From MaRDI portal
Publication:2820709
DOI10.1007/978-3-662-52921-8_24zbMath1478.03041arXiv1606.05140OpenAlexW2962879154MaRDI QIDQ2820709
Publication date: 9 September 2016
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.05140
Related Items
Questions and dependency in intuitionistic logic, Characterising modal definability of team-based logics via the universal modality, Model Checking and Validity in Propositional and Modal Inclusion Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Notes on modal definability
- Modal logic with names
- Dependence and independence
- Characterising modal definability of team-based logics via the universal modality
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- Algebraic laws for nondeterminism and concurrency
- Using the Universal Modality: Gains and Questions
- The Expressive Power of Modal Dependence Logic
- A Van Benthem Theorem for Modal Team Semantics