Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308): Difference between revisions

@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Knowledge and true belief in Hintikka's epistemic logic
+Normal rank
@@ Property / cites work @@
+A perspective on modal sequent logic
@@ Property / cites work: A perspective on modal sequent logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary equivalence for equality-free logic
@@ Property / cites work: On elementary equivalence for equality-free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+On Łukasiewicz's four-valued modal logic
@@ Property / cites work: On Łukasiewicz's four-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An intriguing logic with two implicational connectives
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting of the Association for Symbolic Logic, Sydney, 1984
+Normal rank
@@ Property / cites work @@
+Extensionality in sentence position
@@ Property / cites work: Extensionality in sentence position / rank @@
+Normal rank
@@ Property / cites work @@
+Singulary extensional connectives: A closer look
@@ Property / cites work: Singulary extensional connectives: A closer look / rank @@
+Normal rank
@@ Property / cites work @@
+Basic properties of the equivalence
@@ Property / cites work: Basic properties of the equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Lukasiewicz's twin possibility functors
@@ Property / cites work: Lukasiewicz's twin possibility functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823282
@@ Property / cites work: Q5823282 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized pattern functions
@@ Property / cites work: Generalized pattern functions / rank @@
+Normal rank
@@ Property / cites work @@
+Some classes of idempotent functions and their compositions
+Normal rank
@@ Property / cites work @@
+A calculus for the common rules of \(\wedge\) and \(\vee\)
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704319
@@ Property / cites work: Q2704319 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and definability in the logic of noncontingency
+Normal rank