A strong completeness theorem in intuitionistic quantified modal logic (Q1841473): Difference between revisions

@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong semantical completeness of the intuitionistic predicate calculus
+Normal rank
@@ Property / cites work @@
+Q3798639
@@ Property / cites work: Q3798639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791647
@@ Property / cites work: Q5791647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal extension of intuitionist logic
@@ Property / cites work: A modal extension of intuitionist logic / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+MIPC as the formalisation of an intuitionist concept of modality
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Models for stronger normal intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank