The expressive power of modal logic with inclusion atoms

zbMath1476.03022arXiv1509.07204MaRDI QIDQ5013883

Johanna Beate Stumpf, Lauri Hella

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1509.07204

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (11)

Propositional union closed team logics ⋮ Axiomatizations of team logics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ Unnamed Item ⋮ Parameterized complexity of propositional inclusion and independence logic ⋮ Propositional team logics ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Expressivity and Complexity of Dependence Logic ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Unnamed Item ⋮ Model Checking and Validity in Propositional and Modal Inclusion Logics

Cites Work

• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Complexity results for modal dependence logic
• Boolean Dependence Logic and Partially-Ordered Connectives
• Extended Modal Dependence Logic $\mathcal{EMDL}$
• Complexity of Model Checking for Modal Dependence Logic
• Modal Inclusion Logic: Being Lax is Simpler than Being Strict
• Model-theoretic and Computational Properties of Modal Dependence Logic
• Compositional semantics for a language of imperfect information
• The Expressive Power of Modal Dependence Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive power of modal logic with inclusion atoms