Modal frame correspondences and fixed-points (Q2433098): Difference between revisions

@@ Property / cites work @@
+Modal deduction in second-order logic and set theory - I
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Q4065514
@@ Property / cites work: Q4065514 / rank @@
+Normal rank
@@ Property / cites work @@
+Determiners and logic
@@ Property / cites work: Determiners and logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Range of Modal Logic
@@ Property / cites work: The Range of Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Transitivity follows from Dummett's axiom
@@ Property / cites work: Transitivity follows from Dummett's axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343989
@@ Property / cites work: Q4343989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342078
@@ Property / cites work: Q4342078 / rank @@
+Normal rank