Completeness for flat modal fixpoint logics (Q638475): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2010.07.003
@@ Property / DOI: 10.1016/j.apal.2010.07.003 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2516028194
@@ Property / OpenAlex ID: W2516028194 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q3086937
@@ Property / cites work: Q3086937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. I
@@ Property / cites work: Matrix and matricial iteration theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Une condition impliquant toutes les identités rationnelles
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. I: 'Since' and 'until'
@@ Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q3085167
@@ Property / cites work: Q3085167 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Automata Theory: Basic Results
@@ Property / cites work: Coalgebraic Automata Theory: Basic Results / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nabla Algebras and Chu Spaces
@@ Property / cites work: Nabla Algebras and Chu Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the equational definition of the least prefixed point.
+Normal rank
@@ Property / cites work @@
+Completions of \(\mu \)-algebras
@@ Property / cites work: Completions of \(\mu \)-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337453
@@ Property / cites work: Q3337453 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2010.07.003
@@ Property / DOI: 10.1016/J.APAL.2010.07.003 / rank @@
+Normal rank