Sahlqvist theorem for modal fixed point logic (Q418010): Difference between revisions

@@ Property / author @@
-I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
-Normal rank
@@ Property / author @@
+I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
+Normal rank
@@ 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.2011.11.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2079922393
@@ Property / OpenAlex ID: W2079922393 / rank @@
+Normal rank
@@ Property / cites work @@
+Duality and the completeness of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist correspondence for modal mu-calculus
@@ Property / cites work: Sahlqvist correspondence for modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Vietoris Bisimulations
@@ Property / cites work: Vietoris Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430401
@@ Property / cites work: Q4430401 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Duality for modal \(\mu\)-logics
@@ Property / cites work: Duality for modal \(\mu\)-logics / rank @@
+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 @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and duality in modal logic
@@ Property / cites work: Topology and duality in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+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 @@
+Q5585437
@@ Property / cites work: Q5585437 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418010