Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2018.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2795525569
@@ Property / OpenAlex ID: W2795525569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5144621
@@ Property / cites work: Q5144621 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for coalgebraic fixpoint logic
@@ Property / cites work: Completeness for coalgebraic fixpoint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278080
@@ Property / cites work: Q5278080 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for Coalgebras: An Approach Using Predicate Liftings
+Normal rank
@@ Property / cites work @@
+Q4603451
@@ Property / cites work: Q4603451 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial logic of tangled closure operators and modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Canonical completeness of infinitary \(\mu \)
@@ Property / cites work: Canonical completeness of infinitary \(\mu \) / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Q4395610
@@ Property / cites work: Q4395610 / rank @@
+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 finite model theorem for the propositional \(\mu\)-calculus
+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 @@
+Probabilistic Modal μ-Calculus with Independent Product
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free \(\mu\)-lattices
@@ Property / cites work: Free \(\mu\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of \(\mu \)-algebras
@@ Property / cites work: Completions of \(\mu \)-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for flat modal fixpoint logics
@@ Property / cites work: Completeness for flat modal fixpoint logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE bounds for rank-1 modal logics
@@ Property / cites work: PSPACE bounds for rank-1 modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics are Coalgebraic / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank