Interacting explicit evidence systems (Q929292): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-007-9057-y
@@ Property / DOI: 10.1007/s00224-007-9057-y / rank @@
-Normal rank
@@ Property / cites work @@
+Q4499151
@@ Property / cites work: Q4499151 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On modal systems having arithmetical interpretations
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753686
@@ Property / cites work: Q2753686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00224-007-9057-Y
@@ Property / DOI: 10.1007/S00224-007-9057-Y / rank @@
+Normal rank