Bisimulation Invariant Monadic-Second Order Logic in the Finite
From MaRDI portal
Publication:5002802
DOI10.4230/LIPICS.ICALP.2018.117zbMATH Open1484.03048OpenAlexW3023030226MaRDI QIDQ5002802FDOQ5002802
Authors: Achim Blumensath, Felix Wolf 
Publication date: 28 July 2021
Full work available at URL: https://doi.org/10.4230/LIPIcs.ICALP.2018.117
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
Modal logic (including the logic of norms) (03B45) Higher-order logic (03B16) Logic in computer science (03B70)
Cites Work
- Modal languages and bounded fragments of predicate logic
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- Title not available (Why is that?)
- Algorithmic uses of the Feferman-Vaught theorem
- The monadic theory of order
- Back and forth between guarded and modal logics
- Modal logic over finite structures
- Counting on CTL\(^*\): On the expressive power of monadic path logic
- Logical theories and compatible operations
- Title not available (Why is that?)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Cited In (6)
- Bisimulation invariance and finite models
- Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Modal characterisation theorems over special classes of frames
- Calculating Invariants as Coreflexive Bisimulations
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
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)
