Modal companions of intermediate propositional logics (Q1194106): Difference between revisions

@@ Property / cites work @@
+Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
+Normal rank
@@ Property / cites work @@
+On systems of modal logic with provability interpretations
+Normal rank
@@ Property / cites work @@
+Q4723713
@@ Property / cites work: Q4723713 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of logical matrices
@@ Property / cites work: Varieties of logical matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of provability logic. II
+Normal rank
@@ Property / cites work @@
+Continuality of the set of maximal superintuitionistic logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q3475247
@@ Property / cites work: Q3475247 / rank @@
+Normal rank
@@ Property / cites work @@
+The disjunction property of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Q4694248
@@ Property / cites work: Q4694248 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal translations in substructural logics
@@ Property / cites work: Modal translations in substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Five critical modal systems
@@ Property / cites work: Five critical modal systems / 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 ascending chain of S4 logics
@@ Property / cites work: An ascending chain of S4 logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical necessity, provability and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Some relational systems and the associated topological spaces
+Normal rank
@@ Property / cites work @@
+What is strict implication?
@@ Property / cites work: What is strict implication? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5546768
@@ Property / cites work: Q5546768 / rank @@
+Normal rank
@@ Property / cites work @@
+On superintuitionistic logics as fragments of proof logic extensions
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+There are infinitely many Diodorean modal functions
+Normal rank
@@ Property / cites work @@
+Pretabular extensions of Lewis S4
@@ Property / cites work: Pretabular extensions of Lewis S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Number of prelocally table superintuitionistic propositional logics
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581592
@@ Property / cites work: Q5581592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditarily finitely axiomatizable extensions of logic S4
+Normal rank
@@ Property / cites work @@
+Noncompact extensions of the logic S4
@@ Property / cites work: Noncompact extensions of the logic S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+The truth about some Post numbers
@@ Property / cites work: The truth about some Post numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3495340
@@ Property / cites work: Q3495340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198476
@@ Property / cites work: Q4198476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206929
@@ Property / cites work: Q3206929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902989
@@ Property / cites work: Q3902989 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks about axiomatizations of certain modal systems
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistically plausible interpretation of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Noncompactness in propositional modal logic
@@ Property / cites work: Noncompactness in propositional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340837
@@ Property / cites work: Q3340837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3726083
@@ Property / cites work: Q3726083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783273
@@ Property / cites work: Q3783273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204132
@@ Property / cites work: Q4204132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204133
@@ Property / cites work: Q4204133 / rank @@
+Normal rank