Between proof and truth (Q383057): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6232158
@@ Property / zbMATH DE Number: 6232158 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verificationism
@@ Property / zbMATH Keywords: verificationism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+truth
@@ Property / zbMATH Keywords: truth / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof
@@ Property / zbMATH Keywords: proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game-theoretical semantics
@@ Property / zbMATH Keywords: game-theoretical semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+games with backward moves
@@ Property / zbMATH Keywords: games with backward moves / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recursive winning strategies
@@ Property / zbMATH Keywords: recursive winning strategies / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gödel's sentence
@@ Property / zbMATH Keywords: Gödel's sentence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logical consequence
@@ Property / zbMATH Keywords: logical consequence / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-9903-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1978633416
@@ Property / OpenAlex ID: W1978633416 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:383057