COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741): Difference between revisions

@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+On 2nd order intuitionistic propositional calculus with full comprehension
+Normal rank
@@ Property / cites work @@
+The expressive power of second-order propositional modal logic
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional quantification in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Propositional quantification in the topological semantics for \(\mathbf S4\)
+Normal rank
@@ Property / cites work @@
+STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
+Normal rank
@@ Property / cites work @@
+QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
@@ Property / cites work: QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE / rank @@
+Normal rank
@@ Property / cites work @@
+On Some Completeness Theorems in Modal Logic
@@ Property / cites work: On Some Completeness Theorems in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4141213
@@ Property / cites work: Q4141213 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On second order intuitionistic propositional logic without a universal quantifier
+Normal rank