Discovering knowability: a semantic analysis

DOI10.1007/s11229-012-0168-xzbMath1284.03024OpenAlexW2053394267MaRDI QIDQ2443346

Tudor Protopopescu, Sergej N. Artemov

Publication date: 7 April 2014

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-012-0168-x

zbMATH Keywords

modal logicintuitionismknowability paradoxChurch-Fitch

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

Intuitionistic Epistemology and Modal Logics of Verification ⋮ Counterfactual knowability revisited ⋮ On a new tentative solution to Fitch's paradox

Cites Work

• From the knowability paradox to the existence of proofs
• The logic of proofs, semantically
• Williamson's woes
• Possible knowledge of unknown truth
• Knowability and the capacity to know
• The incarnation and the knowability paradox
• On intuitionistic modal epistemic logic
• Knowledge and necessity
• Many-dimensional modal logics: theory and applications
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• First-order modal logic
• The Church-Fitch knowability paradox in the light of structural proof theory
• A quantified logic of evidence
• Explicit Provability and Constructive Semantics
• THE LOGIC OF JUSTIFICATION
• Intuitionistic tense and modal logic
• Victor's error
• A logical analysis of some value concepts
• Fitch and Intuitionistic Knowability
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discovering knowability: a semantic analysis