Intuitionistic epistemic logic, Kripke models and Fitch's paradox

DOI10.1007/S10992-011-9207-1MaRDI QIDQ692189zbMATH OpenOpenAlexFDO

Authors Carlo Proietti

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

zbMATH Keywords

epistemic logicintuitionistic logicKripke modelsFitch's paradox

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Intuitionistic logic as epistemic logic
• On intuitionistic modal epistemic logic
• INTUITIONISTIC EPISTEMIC LOGIC
• scientific article; zbMATH DE number 51606
• Intuitionistic epistemology and modal logics of verification
• Epistemic semantics for classical and intuitionistic logic
• scientific article; zbMATH DE number 5839768
• An intensional epistemic logic
• On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
• Constructive and mechanised meta-theory of intuitionistic epistemic logic

Cites work

• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• Epistemology without knowledge and without belief
• Mathematical modal logic: A view of its evolution
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On intuitionistic modal epistemic logic
• What one may come to know

Cited in

(16)

• scientific article; zbMATH DE number 5839768 (Why is no real title available?)
• INTUITIONISTIC EPISTEMIC LOGIC
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• The Paradox of Knowability from an Intuitionistic Standpoint
• The Church-Fitch knowability paradox in the light of structural proof theory
• scientific article; zbMATH DE number 7577565 (Why is no real title available?)
• Intuitionistic epistemology and modal logics of verification
• Logics for knowability paradox with a non-normal possibility operator
• Intuitionistic common knowledge or belief
• On a side effect of solving Fitch's paradox by typing knowledge
• The knower paradox in the light of provability interpretations of modal logic
• scientific article; zbMATH DE number 2109248 (Why is no real title available?)
• Topological models of epistemic set theory
• Lewis meets Brouwer: constructive strict implication
• On intuitionistic modal epistemic logic
• scientific article; zbMATH DE number 5180952 (Why is no real title available?)

This page was built for publication: Intuitionistic epistemic logic, Kripke models and Fitch's paradox

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692189)