On intuitionistic modal epistemic logic

zbMath0746.03014MaRDI QIDQ1185042

Timothy Williamson

Publication date: 28 June 1992

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

zbMATH Keywords

modal logicfinite model propertyepistemic logic\(IKT\)\(Z\)-models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (15)

Sequent Calculus for Intuitionistic Epistemic Logic IEL ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ Intuitionistic common knowledge or belief ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Constructive knowledge and the justified true belief paradigm ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ From the knowability paradox to the existence of proofs ⋮ How to solve the knowability paradox with transcendental epistemology ⋮ A Church-Fitch proof for the universality of causation ⋮ Discovering knowability: a semantic analysis ⋮ Superassertibility and the equivalence schema: a dilemma for Wright's antirealist ⋮ Distributed knowability and Fitch's paradox ⋮ Intuitionistic epistemic logic, Kripke models and Fitch's paradox ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic

This page was built for publication: On intuitionistic modal epistemic logic