Intuitionistic epistemic logic, Kripke models and Fitch's paradox
From MaRDI portal
Publication:692189
DOI10.1007/s10992-011-9207-1zbMath1280.03020MaRDI 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
03B42: Logics of knowledge and belief (including belief change)
Related Items
INTUITIONISTIC EPISTEMIC LOGIC, Intuitionistic common knowledge or belief, Lewis meets Brouwer: constructive strict implication, The Church-Fitch knowability paradox in the light of structural proof theory, Intuitionistic Epistemology and Modal Logics of Verification
Cites Work