Characterising modal definability of team-based logics via the universal modality
From MaRDI portal
Publication:2273015
DOI10.1016/j.apal.2019.04.009zbMath1471.03050arXiv1502.07884OpenAlexW2963584125MaRDI QIDQ2273015
Publication date: 18 September 2019
Published in: Annals of Pure and Applied Logic, Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1502.07884
Related Items (5)
Questions and dependency in intuitionistic logic ⋮ Complexity of validity for propositional dependence logics ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Characterizing Relative Frame Definability in Team Semantics 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the finite and general implication problems of independence atoms and keys
- Complexity of validity for propositional dependence logics
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Some characterization and preservation theorems in modal logic
- Notes on modal definability
- Model theory.
- Modal logic with names
- Dependence and independence
- Complexity results for modal dependence logic
- Characterising modal definability of team-based logics via the universal modality
- A finite axiomatization of conditional independence and inclusion dependencies
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice
- Modal independence logic:
- Interpolation for extended modal languages
- Reasoning About Embedded Dependencies Using Inclusion Dependencies
- Model-theoretic and Computational Properties of Modal Dependence Logic
- Algebraic laws for nondeterminism and concurrency
- Using the Universal Modality: Gains and Questions
- The Expressive Power of Modal Dependence Logic
- Model Checking for Modal Intuitionistic Dependence Logic
- The expressive power of modal logic with inclusion atoms
- A Generalization of Modal Frame Definability
- Expressivity and Complexity of Dependence Logic
- Dependence Logic vs. Constraint Satisfaction
- A Van Benthem Theorem for Modal Team Semantics
- Axiomatizing Propositional Dependence Logics
This page was built for publication: Characterising modal definability of team-based logics via the universal modality
