Fixed point logics and definable topological properties (Q6149964): Difference between revisions

@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Modal case
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and modality via topology
@@ Property / cites work: Intuitionistic logic and modality via topology / rank @@
+Normal rank
@@ Property / cites work @@
+On the modal definability of simulability by finite transitive models
+Normal rank
@@ Property / cites work @@
+Q5869540
@@ Property / cites work: Q5869540 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial logic of tangled closure operators and modal mu-calculus
+Normal rank
@@ Property / cites work @@
+The finite model property for logics with the tangle modality
+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 @@
+Derivational Modal Logics with the Difference Modality
+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 @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+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 @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank