Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.18778/0138-0680.47.1.02
+Normal rank
@@ Property / OpenAlex ID @@
+W2909351909
@@ Property / OpenAlex ID: W2909351909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
+Normal rank
@@ Property / cites work @@
+Q4247207
@@ Property / cites work: Q4247207 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-intuitionism and paraconsistency
@@ Property / cites work: Anti-intuitionism and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4925909
@@ Property / cites work: Q4925909 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128539
@@ Property / cites work: Q4128539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283965
@@ Property / cites work: Q5283965 / rank @@
+Normal rank
@@ Property / cites work @@
+On partial and paraconsistent logics
@@ Property / cites work: On partial and paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
@@ Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662881
@@ Property / cites work: Q4662881 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128577255
@@ Property / Wikidata QID: Q128577255 / rank @@
+Normal rank