Back and forth between guarded and modal logics

DOI10.1145/507382.507388MaRDI QIDQ5738962zbMATH OpenOpenAlexFDO

Authors Erich Grädel, Colin Hirsch, Martin Otto

Publication date 13 June 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/507382.507388

zbMATH Keywords

bisimulationguarded logicmodal logicmodel theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 834561
• On guarded transformation in the modal -calculus
• Introduction to Guarded Logics
• SOME MODEL THEORY OF GUARDED NEGATION
• Modal logic programming revisited
• scientific article; zbMATH DE number 3982508
• scientific article; zbMATH DE number 1341606
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• scientific article; zbMATH DE number 2144768
• Modal fixed point logics

Cited in

(25)

• Modal and guarded characterisation theorems over finite transition systems
• Bisimulation invariant monadic-second order logic in the finite
• On generalized van Benthem-type characterizations
• A general tableau method for propositional interval temporal logics: theory and implementation
• Back and Forth between Rules and SE-Models
• The mu-calculus and Model Checking
• Provenance circuits for trees and treelike instances
• The Descriptive Complexity of Parity Games
• Separating Graph Logic from MSO
• Repetitions and permutations of columns in the semijoin algebra
• Finite satisfiability for guarded fixpoint logic
• Introduction to Guarded Logics
• Automata for Guarded Fixed Point Logics
• SOME MODEL THEORY OF GUARDED NEGATION
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• The freedoms of (guarded) bisimulation
• Where first-order and monadic second-order logic coincide
• On Monotonic Determinacy and Rewritability for Recursive Queries and Views
• Preservation theorems for Tarski's relation algebra
• Guarded hybrid team logics
• Decidability of querying first-order theories via countermodels of finite width
• Datalog-expressibility for monadic and guarded second-order logic
• Datalog-expressibility for monadic and guarded second-order logic
• On the complexity of division and set joins in the relational algebra

This page was built for publication: Back and forth between guarded and modal logics

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