Recommendations
Cites work
- scientific article; zbMATH DE number 5872402 (Why is no real title available?)
- scientific article; zbMATH DE number 3869303 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 952378 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 824735 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- A lattice-theoretical fixpoint theorem and its applications
- An elementary proof of the completeness of PDL
- Automata and fixed point logic: a coalgebraic perspective
- Automata for the modal \(\mu \)-calculus and related results
- Axioms for tense logic. I: 'Since' and 'until'
- Coalgebraic Automata Theory: Basic Results
- Coalgebraic logic
- Complete systems of \(\mathcal B\)-rational identities
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Completeness of the finitary Moss logic
- Completions of \(\mu \)-algebras
- Decision procedures and expressiveness in the temporal logic of branching time
- Formal Methods for the Design of Real-Time Systems
- Matrix and matricial iteration theories. I
- Modal logic
- Nabla Algebras and Chu Spaces
- Normal forms in modal logic
- On the equational definition of the least prefixed point.
- Relation algebras by games
- Results on the propositional \(\mu\)-calculus
- Rudiments of \(\mu\)-calculus
- Some Varieties Containing Relation Algebras
- The representation of relational algebras
- Une condition impliquant toutes les identités rationnelles
- Universal coalgebra: A theory of systems
Cited in
(19)- Completeness for Flat Modal Fixpoint Logics
- Flat modal fixpoint logics with the converse modality
- Completeness for \(\mu\)-calculi: a coalgebraic approach
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- scientific article; zbMATH DE number 7577582 (Why is no real title available?)
- Sahlqvist theorem for modal fixed point logic
- Fixed point logics and definable topological properties
- Modalities in the Stone age: a comparison of coalgebraic logics
- Temporal refinements for guarded recursive types
- scientific article; zbMATH DE number 2242586 (Why is no real title available?)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes
- Fixed point logics and definable topological properties
- Coalgebraic logics \& duality
- Axiomatizing fixpoint logics
- Games for topological fixpoint logic
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- scientific article; zbMATH DE number 7269253 (Why is no real title available?)
- An expansion of basic logic with fixed points
- Changing a Semantics: Opportunism or Courage?
This page was built for publication: Completeness for flat modal fixpoint logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638475)
