Modal and guarded characterisation theorems over finite transition systems

DOI10.1016/J.APAL.2004.04.003MaRDI QIDQ1886323zbMATH OpenOpenAlexFDO

Authors Martin Otto

Publication date 18 November 2004

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.2004.04.003

zbMATH Keywords

BisimulationCharacterisation theoremsFinite model theoryGuarded fragmentModal logicPreservation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Model theory of finite structures (03C13) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modal characterisation theorems over special classes of frames
• Modal languages and bounded fragments of predicate logic
• Bisimulation invariance and finite models
• The freedoms of (guarded) bisimulation
• Bisimulation invariant monadic-second order logic in the finite

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Back and forth between guarded and modal logics
• Bisimulation invariance and finite models
• Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (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?)
• scientific article; zbMATH DE number 979011 (Why is no real title available?)
• scientific article; zbMATH DE number 863501 (Why is no real title available?)
• Interpolation, preservation, and pebble games
• Modal languages and bounded fragments of predicate logic
• Modal logic
• Modal logic over finite structures
• Model theory.
• On the Restraining Power of Guards
• Some useful preservation theorems

Cited in

(15)

• On generalized van Benthem-type characterizations
• Expressivity of second order propositional modal logic
• scientific article; zbMATH DE number 5872415 (Why is no real title available?)
• Bisimulation in inquisitive modal logic
• SOME MODEL THEORY OF GUARDED NEGATION
• INQUISITIVE BISIMULATION
• Additive first-order queries
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Bisimulation invariance and finite models
• Copy and remove as dynamic operators
• Guarded negation
• How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\)
• A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures
• Modal characterisation theorems over special classes of frames
• On the expressive power of inquisitive epistemic logic

This page was built for publication: Modal and guarded characterisation theorems over finite transition systems

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