Discovering knowability: a semantic analysis (Q2443346): Difference between revisions

@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / 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-012-0168-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2053394267
@@ Property / OpenAlex ID: W2053394267 / 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 LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Clues to the paradoxes of knowability: reply to Dummett and Tennant
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266553
@@ Property / cites work: Q4266553 / rank @@
+Normal rank
@@ Property / cites work @@
+From the knowability paradox to the existence of proofs
+Normal rank
@@ Property / cites work @@
+Victor's error
@@ Property / cites work: Victor's error / rank @@
+Normal rank
@@ Property / cites work @@
+Possible knowledge of unknown truth
@@ Property / cites work: Possible knowledge of unknown truth / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Knowability and the capacity to know
@@ Property / cites work: Knowability and the capacity to know / 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 @@
+A quantified logic of evidence
@@ Property / cites work: A quantified logic of evidence / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Knowledge and necessity
@@ Property / cites work: Knowledge and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+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 @@
+The Church-Fitch knowability paradox in the light of structural proof theory
+Normal rank
@@ Property / cites work @@
+Q4820387
@@ Property / cites work: Q4820387 / rank @@
+Normal rank
@@ Property / cites work @@
+Fitch and Intuitionistic Knowability
@@ Property / cites work: Fitch and Intuitionistic Knowability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711864
@@ Property / cites work: Q5711864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239945
@@ Property / cites work: Q4239945 / rank @@
+Normal rank
@@ Property / cites work @@
+Williamson's woes
@@ Property / cites work: Williamson's woes / rank @@
+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 @@
+On intuitionistic modal epistemic logic
@@ Property / cites work: On intuitionistic modal epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank