A Van Benthem Theorem for Modal Team Semantics

DOI10.4230/LIPICS.CSL.2015.277MaRDI QIDQ5351963zbMATH OpenOpenAlexFDO

Authors Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

Publication date 31 August 2017

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

zbMATH Keywords

bisimulationdependence logicexpressivitygeneralized dependence atominclusionindependencemodal logicteam semantics

Mathematics Subject Classification ID

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

Abstract: The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework of modal dependence logic MDL and team semantics. We show that modal team logic MTL, extending MDL by classical negation, captures exactly the FO-definable bisimulation invariant properties of Kripke structures and teams. We also compare the expressive power of MTL to most of the variants and extensions of MDL recently studied in the area.

Recommendations

• Axiomatizations for propositional and modal team logic
• The power of the filtration technique for modal logics with team semantics
• Canonical models and the complexity of modal team logic
• scientific article; zbMATH DE number 7056226
• A van Benthem theorem for fuzzy modal logic
• Logics with multiteam semantics
• Axiomatizations of team logics
• Decidability of predicate logics with team semantics

Cited in

(19)

• Approximation and dependence via multiteam semantics
• Questions and dependency in intuitionistic logic
• On the complexity of linear temporal logic with team semantics
• A quantified coalgebraic van Benthem theorem
• Axiomatizations of team logics
• Characterizing relative frame definability in team semantics via the universal modality
• Complexity of Propositional Independence and Inclusion Logic
• Logics for propositional determinacy and independence
• INQUISITIVE BISIMULATION
• Canonical models and the complexity of modal team logic
• A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
• A van Benthem theorem for fuzzy modal logic
• Complexity of validity for propositional dependence logics
• Expressivity and Complexity of Dependence Logic
• On the succinctness of atoms of dependency
• scientific article; zbMATH DE number 7056226 (Why is no real title available?)
• Intermediate logics in the setting of team semantics
• Axiomatizing modal inclusion logic and its variants
• State-based modal logics for free choice

This page was built for publication: A Van Benthem Theorem for Modal Team Semantics

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