Bisimulation Invariant Monadic-Second Order Logic in the Finite

DOI10.4230/LIPIcs.ICALP.2018.117zbMath1484.03048OpenAlexW3023030226MaRDI QIDQ5002802

Achim Blumensath, Felix Wolf

Publication date: 28 July 2021

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICALP.2018.117

zbMATH Keywords

monadic second-order logicbisimulationcomposition method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic uses of the Feferman-Vaught theorem
• The monadic theory of order
• Modal languages and bounded fragments of predicate logic
• Modal logic over finite structures
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Back and forth between guarded and modal logics
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic

This page was built for publication: Bisimulation Invariant Monadic-Second Order Logic in the Finite