Intuitionistic epistemic logic, Kripke models and Fitch's paradox
From MaRDI portal
Publication:692189
DOI10.1007/s10992-011-9207-1zbMath1280.03020OpenAlexW2018517747MaRDI QIDQ692189
Publication date: 4 December 2012
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-011-9207-1
Related Items (7)
Intuitionistic Epistemology and Modal Logics of Verification ⋮ Intuitionistic common knowledge or belief ⋮ Lewis meets Brouwer: constructive strict implication ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ INTUITIONISTIC EPISTEMIC LOGIC ⋮ Unnamed Item
Cites Work
This page was built for publication: Intuitionistic epistemic logic, Kripke models and Fitch's paradox