Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962967
@@ Property / cites work: Q3962967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / 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 @@
+On Łukasiewicz's four-valued modal logic
@@ Property / cites work: On Łukasiewicz's four-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract algebraic logic approach to tetravalent modal logics
+Normal rank
@@ Property / cites work @@
+Q5474628
@@ Property / cites work: Q5474628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Semantics for Modal Bilattice Logic
@@ Property / cites work: Kripke Semantics for Modal Bilattice 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 @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823282
@@ Property / cites work: Q5823282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
+Normal rank
@@ Property / cites work @@
+An interpretation of Łukasiewicz's 4-valued modal logic
+Normal rank
@@ Property / cites work @@
+Where gamma fails
@@ Property / cites work: Where gamma fails / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Q3105690
@@ Property / cites work: Q3105690 / rank @@
+Normal rank