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

@@ Property / DOI @@
-.1007/s11225-012-9420-0
@@ Property / DOI: 10.1007/s11225-012-9420-0 / 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 / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6235908
@@ Property / zbMATH DE Number: 6235908 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+three-valued logic
@@ Property / zbMATH Keywords: three-valued logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conservative translations
@@ Property / zbMATH Keywords: conservative translations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+expressivity
@@ Property / zbMATH Keywords: expressivity / 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 @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ Property / DOI @@
+.1007/S11225-012-9420-0
@@ Property / DOI: 10.1007/S11225-012-9420-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:383567