Constructive knowledge and the justified true belief paradigm

DOI10.1016/J.INDAG.2017.09.012zbMath1436.03107OpenAlexW2766953108MaRDI QIDQ1688952

Sergej N. Artemov

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2017.09.012

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• On intuitionistic modal epistemic logic
• Constructivism in mathematics. An introduction. Volume I
• Explicit Provability and Constructive Semantics
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
• Homotopy Type Theory: Univalent Foundations of Mathematics
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: Constructive knowledge and the justified true belief paradigm