The Expressive Power of Modal Dependence Logic

zbMath1385.03018arXiv1406.6266MaRDI QIDQ4636299

Jonni Virtema, Lauri Hella, Katsuhiko Sano, Kerkko Luosto

Publication date: 23 April 2018

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

zbMATH Keywords

bisimulationexpressive powerteam semanticsmodal dependence logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Boolean dependence logic and partially-ordered connectives, Propositional logics of dependence, Structural completeness in propositional logics of dependence, On definability of team relations with \(k\)-invariant atoms, Unnamed Item, The expressive power of modal logic with inclusion atoms, Separation logics and modalities: a survey, Positive modal logic beyond distributivity, Complexity of validity for propositional dependence logics, Propositional team logics, Characterising modal definability of team-based logics via the universal modality, Diversity, dependence and independence, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, Expressivity and Complexity of Dependence Logic, Dependency as Question Entailment, Supervenience, Dependence, Disjunction, On Temporal and Separation Logics, Canonical Models and the Complexity of Modal Team Logic, Unnamed Item, Characterizing Relative Frame Definability in Team Semantics via the Universal Modality