Three-valued logics in modal logic (Q383567): Difference between revisions

@@ Property / author @@
-Barteld P. Kooi
@@ Property / author: Barteld P. Kooi / rank @@
-Normal rank
@@ Property / author @@
-Allard M. Tamminga
@@ Property / author: Allard M. Tamminga / rank @@
-Normal rank
@@ Property / author @@
+Barteld P. Kooi
@@ Property / author: Barteld P. Kooi / rank @@
+Normal rank
@@ Property / author @@
+Allard M. Tamminga
@@ Property / author: Allard M. Tamminga / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9420-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2095820479
@@ Property / OpenAlex ID: W2095820479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440566
@@ Property / cites work: Q4440566 / rank @@
+Normal rank
@@ Property / cites work @@
+Yes, Virginia, there really are paraconsistent logics
+Normal rank
@@ Property / cites work @@
+Q4395139
@@ Property / cites work: Q4395139 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of entailment in propositional multivalued logics
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416147
@@ Property / cites work: Q5416147 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative translations
@@ Property / cites work: Conservative translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Logic for Equivocators
@@ Property / cites work: Logic for Equivocators / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean negation and all that
@@ Property / cites work: Boolean negation and all that / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762292
@@ Property / cites work: Q3762292 / rank @@
+Normal rank