The McKinsey axiom is not compact (Q4032660): Difference between revisions

@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank