Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2016.11.003
@@ Property / DOI: 10.1016/j.entcs.2016.11.003 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2016.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2567016268
@@ Property / OpenAlex ID: W2567016268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762534
@@ Property / cites work: Q2762534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5755184
@@ Property / cites work: Q5755184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting da Costa logic
@@ Property / cites work: Revisiting da Costa logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting \(\mathbb Z\)
@@ Property / cites work: Revisiting \(\mathbb Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Brief study of G'<sub>3</sub> logic
@@ Property / cites work: Brief study of G'<sub>3</sub> logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2016.11.003
@@ Property / DOI: 10.1016/J.ENTCS.2016.11.003 / rank @@
+Normal rank