Some kinds of modal completeness (Q1151886): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical modal logics and ultrafilter extensions
@@ Property / cites work: Canonical modal logics and ultrafilter extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Two simple incomplete modal logics
@@ Property / cites work: Two simple incomplete modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Logics Containing S 4.3
@@ Property / cites work: The Logics Containing S 4.3 / 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 @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088789
@@ Property / cites work: Q4088789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247123
@@ Property / cites work: Q3247123 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+A normal modal calculus between T and S4 without the finite model property
+Normal rank
@@ Property / cites work @@
+Some results in modal model theory
@@ Property / cites work: Some results in modal model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of second‐order logic to modal logic
@@ Property / cites work: Reduction of second‐order logic to modal logic / rank @@
+Normal rank