Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic

DOI10.1023/A:1021256513220zbMath1027.03018MaRDI QIDQ1868338

Heinrich Wansing

Publication date: 27 April 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicepistemic logicrelevance logicparaconsistent logicconstructive negationknowability paradox

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (10)

From the knowability paradox to the existence of proofs ⋮ A substructural approach to explicit modal logic ⋮ We don't know we don't know: asserting ignorance ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ Discovering knowability: a semantic analysis ⋮ Normal modal substructural logics with strong negation ⋮ Fitch's paradox and probabilistic antirealism ⋮ Distributed knowability and Fitch's paradox ⋮ A principled solution to Fitch's paradox ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic truth
• On intuitionistic modal epistemic logic
• An algebraic approach to non-classical logics
• The semantics of entailment. II
• The semantics of entailment. III
• Semantical analyses of propositional systems of Fitch and Nelson
• Intuitionistic logic with strong negation
• The logic of information structures
• On extensions of intermediate logics by strong negation
• Partiality and its dual
• Semantics-based nonmonotonic inference
• Curry's paradox in contractionless constructive logic
• Models for relevant modal logics
• Constructible falsity and inexact predicates
• Logic Programming with Strong Negation and Inexact Predicates
• Tarskian Structured Consequence Relations and Functional Completeness
• Victor's error
• A logical analysis of some value concepts
• Fitch and Intuitionistic Knowability
• The Trilattice of Constructive Truth Values
• The system CΔ of combinatory logic
• A semantical study of constructible falsity
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Constructible falsity

This page was built for publication: Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic