From the knowability paradox to the existence of proofs (Q625705): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-009-9490-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1980308847
@@ Property / OpenAlex ID: W1980308847 / 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 @@
+The basic intuitionistic logic of proofs
@@ Property / cites work: The basic intuitionistic logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845309
@@ Property / cites work: Q4845309 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Provability
@@ Property / cites work: The Logic of Provability / rank @@
+Normal rank
@@ Property / cites work @@
+Clues to the paradoxes of knowability: reply to Dummett and Tennant
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Victor's error
@@ Property / cites work: Victor's error / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of some value concepts
@@ Property / cites work: A logical analysis of some value concepts / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and necessity
@@ Property / cites work: Knowledge and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4405122
@@ Property / cites work: Q4405122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343326
@@ Property / cites work: Q5343326 / rank @@
+Normal rank
@@ Property / cites work @@
+The Knowability Paradox and the Prospects for Anti-Realism
+Normal rank
@@ Property / cites work @@
+The incarnation and the knowability paradox
@@ Property / cites work: The incarnation and the knowability paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702584
@@ Property / cites work: Q2702584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360856
@@ Property / cites work: Q4360856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247025
@@ Property / cites work: Q4247025 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+A paradox regained
@@ Property / cites work: A paradox regained / rank @@
+Normal rank
@@ Property / cites work @@
+Fitch and Intuitionistic Knowability
@@ Property / cites work: Fitch and Intuitionistic Knowability / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4247022
@@ Property / cites work: Q4247022 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptions of truth in intuitionism
@@ Property / cites work: Conceptions of truth in intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions, proofs and the meaning of logical constants
+Normal rank
@@ Property / cites work @@
+Q4239945
@@ Property / cites work: Q4239945 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
+Normal rank
@@ Property / cites work @@
+The intended interpretation of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Two incomplete anti-realist modal epistemic logics
+Normal rank
@@ Property / cites work @@
+On intuitionistic modal epistemic logic
@@ Property / cites work: On intuitionistic modal epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240229
@@ Property / cites work: Q3240229 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability logics with quantifiers on proofs
@@ Property / cites work: Provability logics with quantifiers on proofs / rank @@
+Normal rank