Bisimulation Invariant Monadic-Second Order Logic in the Finite

DOI10.4230/LIPICS.ICALP.2018.117MaRDI QIDQ5002802zbMATH OpenOpenAlexFDO

Authors 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) Higher-order logic (03B16) Logic in computer science (03B70)

Recommendations

• Bisimulation invariant monadic-second order logic in the finite
• Monadic second-order logic and bisimulation invariance for coalgebras
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• On the Parameterised Intractability of Monadic Second-Order Logic
• scientific article; zbMATH DE number 2079025
• On the parameterized intractability of monadic second-order logic
• Bisimulation and propositional intuitionistic logic
• Monadic second-order logic on finite sequences
• Asymptotic Monadic Second-Order Logic
• Bisimulation in inquisitive modal logic

Cites work

• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Algorithmic uses of the Feferman-Vaught theorem
• Back and forth between guarded and modal logics
• Bisimulation in inquisitive modal logic
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Logical theories and compatible operations
• Modal languages and bounded fragments of predicate logic
• Modal logic over finite structures
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
• The monadic theory of order

Cited in

(12)

• Weak MSO: automata and expressiveness modulo bisimilarity
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Relating paths in transition systems: the fall of the modal mu-calculus
• Capturing bisimulation-invariant exponential-time complexity classes
• Calculating Invariants as Coreflexive Bisimulations
• Monadic second order logic as the model companion of temporal logic
• Bisimulation safe fixed point logic
• Bisimulation invariance and finite models
• Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
• Modal characterisation theorems over special classes of frames
• Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
• Bisimulation invariant monadic-second order logic in the finite

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

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