Between proof and truth (Q383057): Difference between revisions

@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088782
@@ Property / cites work: Q4088782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+On Godel Sentences and What They Say
@@ Property / cites work: On Godel Sentences and What They Say / rank @@
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank