scientific article; zbMATH DE number 7649943
From MaRDI portal
Publication:5875397
DOI10.4230/LIPICS.CONCUR.2019.35MaRDI QIDQ5875397FDOQ5875397
Authors: Daniel Hausmann, Lutz Schröder 
Publication date: 3 February 2023
Title of this publication is not available (Why is that?)
model checkingcoalgebraic logicparity games\(\mu\)-calculusprobabilistic \(\mu\)-calculusgraded \(\mu\)-calculus
Cites Work
- Alternating-time temporal logic
- Universal coalgebra: A theory of systems
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Automata, logics, and infinite games. A guide to current research
- Concurrent dynamic logic
- Title not available (Why is that?)
- Results on the propositional \(\mu\)-calculus
- On model checking for the \(\mu\)-calculus and its fragments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Enriched MU-Calculi Module Checking
- Local model checking in the modal mu-calculus
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Flat Coalgebraic Fixed Point Logics
- Title not available (Why is that?)
- Optimal satisfiability checking for arithmetic \(\mu\)-calculi
- Deciding parity games in quasipolynomial time
- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
- Parity games and automata for game logic
- EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
- Lattice-theoretic progress measures and coalgebraic model checking
- Title not available (Why is that?)
- Strong completeness of coalgebraic modal logics
- Parity Automata for Quantitative Linear Time Logics
Cited In (3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875397)
