The expressive power of modal dependence logic

MaRDI QIDQ4636299zbMATH OpenFDO

Authors Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema

Publication date 23 April 2018

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

zbMATH Keywords

team semanticsbisimulationexpressive powermodal dependence logic

Mathematics Subject Classification ID

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

Abstract: We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic disjunction and extended modal dependence logic coincide. Finally we establish that any translation from extended modal dependence logic into modal logic with intuitionistic disjunction increases the size of some formulas exponentially.

Recommendations

• The expressive power of modal logic with inclusion atoms
• Model-theoretic and computational properties of modal dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Modal dependence logic
• Complexity results for modal dependence logic

Cited in

(32)

• Expressivity and Complexity of Dependence Logic
• Diversity, dependence and independence
• Separation logics and modalities: a survey
• Propositional logics of dependence
• Modal independence logic
• Modal indepence logic
• Complexity Results for Modal Dependence Logic
• On definability in dependence logic
• The power of the filtration technique for modal logics with team semantics
• Canonical models and the complexity of modal team logic
• On temporal and separation logics
• Boolean dependence logic and partially-ordered connectives
• Positive modal logic beyond distributivity
• Uniform definability in propositional dependence logic
• Dimension in team semantics
• Expressing second-order sentences in intuitionistic dependence logic
• Structural completeness in propositional logics of dependence
• Dependency as question entailment
• Upwards closed dependencies in team semantics
• scientific article; zbMATH DE number 5734948 (Why is no real title available?)
• Characterizing relative frame definability in team semantics via the universal modality
• On definability of team relations with \(k\)-invariant atoms
• Logics for propositional determinacy and independence
• Supervenience, dependence, disjunction
• Modal dependence logics: axiomatizations and model-theoretic properties
• On the succinctness of atoms of dependency
• Exemplaric Expressivity of Modal Logics
• The expressive power of modal logic with inclusion atoms
• Complexity of validity for propositional dependence logics
• On strongly first-order dependencies
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)
• Propositional team logics

This page was built for publication: The expressive power of modal dependence logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636299)