Modal characterisation theorems over special classes of frames

DOI10.1016/J.APAL.2009.04.002zbMATH Open1185.03027OpenAlexW2029611280WikidataQ58215565 ScholiaQ58215565MaRDI QIDQ732052FDOQ732052

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

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

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)

Cites Work

• Modal logic
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• Modal characterisation theorems over special classes of frames
• Title not available (Why is that?)
• Modal logic over finite structures
• Modal and guarded characterisation theorems over finite transition systems
• Some modal aspects of XPath

Cited In (33)

• The monadic theory of finite representations of infinite words
• On modal \(\mu \)-calculus over finite graphs with small components or small tree width
• INQUISITIVE BISIMULATION
• Bisimulation invariance and finite models
• A quantified coalgebraic van Benthem theorem
• 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
• Title not available (Why is that?)
• 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
• 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
• Non-finite axiomatizability of dynamic topological logic
• 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
• Bisimulation in inquisitive modal logic
• Modal characterisation theorems over special classes of frames
• Characterization, definability and separation via saturated models
• On generalized van Benthem-type characterizations
• Title not available (Why is that?)
• 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)