Modal characterisation theorems over special classes of frames

DOI10.1016/J.APAL.2009.04.002MaRDI QIDQ732052zbMATH OpenOpenAlexWikidataFDO

Authors Anuj Dawar, Martin Otto

Publication date 9 October 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2009.04.002

zbMATH Keywords

finite model theorymodal logicbisimulationpreservationexpressive completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Recommendations

• Bisimulation invariance and finite models
• Modal and guarded characterisation theorems over finite transition systems
• Bisimulation invariant monadic-second order logic in the finite
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames

Cites work

• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 3708351 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• Modal and guarded characterisation theorems over finite transition systems
• Modal characterisation theorems over special classes of frames
• Modal languages and bounded fragments of predicate logic
• Modal logic
• Modal logic over finite structures
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Some modal aspects of XPath
• The modal -calculus hierarchy over restricted classes of transition systems

Cited in

(38)

• A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures
• The monadic theory of finite representations of infinite words
• On modal -calculus over finite graphs with small components or small tree width
• INQUISITIVE BISIMULATION
• A quantified coalgebraic van Benthem theorem
• Bisimulation invariance and finite models
• Model theoretic methods for fragments of FO and special classes of (finite) structures
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• Modal frame characterization by way of auxiliary modalities
• scientific article; zbMATH DE number 7267340 (Why is no real title available?)
• The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs
• Basic logic, K4, and persistence
• Semantical characterizations for irreflexive and generalized modal languages
• A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
• The topological mu-calculus: completeness and decidability
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• A sound and complete axiomatization for dynamic topological logic
• A general Lindström theorem for some normal modal logics
• The freedoms of (guarded) bisimulation
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• Complexity of hybrid logics over transitive frames
• Modal and guarded characterisation theorems over finite transition systems
• On the \(\mu \)-calculus over transitive and finite transitive frames
• The finite model property for logics with the tangle modality
• Modal characterisation theorems over special classes of frames
• Bisimulation in inquisitive modal logic
• Characterization, definability and separation via saturated models
• On generalized van Benthem-type characterizations
• Exponential lower bounds on definable fixed points
• scientific article; zbMATH DE number 440120 (Why is no real title available?)
• A correspondence theorem for interpretability logic with respect to Verbrugge semantics
• Characterizations of two basic hybrid logics
• Some modal aspects of XPath
• Complete intuitionistic temporal logics for topological dynamics
• Spatial logic of tangled closure operators and modal mu-calculus
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• On the modal definability of simulability by finite transitive models
• Tangled modal logic for topological dynamics

This page was built for publication: Modal characterisation theorems over special classes of frames

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