The knower paradox in the light of provability interpretations of modal logic (Q1778104): Difference between revisions

@@ Property / cites work @@
+Q4315012
@@ Property / cites work: Q4315012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845309
@@ Property / cites work: Q4845309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability: The emergence of a mathematical modality
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem concerning syntactical treatments of nonidealized belief
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Saving the truth schema from paradox
@@ Property / cites work: Saving the truth schema from paradox / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+A paradox regained
@@ Property / cites work: A paradox regained / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000317
@@ Property / cites work: Q4000317 / rank @@
+Normal rank
@@ Property / cites work @@
+Necessity predicates and operators
@@ Property / cites work: Necessity predicates and operators / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic theories and the interpretation of Gödel's incompleteness theorems
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003735
@@ Property / cites work: Q4003735 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on syntactical treatments of modality
@@ Property / cites work: A note on syntactical treatments of modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5461405
@@ Property / cites work: Q5461405 / rank @@
+Normal rank