An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

DOI10.1007/978-3-319-27683-0_22zbMath1476.03015arXiv1601.03059OpenAlexW2238084375MaRDI QIDQ5283437

Tudor Protopopescu

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.03059

zbMATH Keywords

verificationlogic of proofsBHK semanticsarithmetic interpretationintuitionistic epistemic logicintuitionistic knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Constructive and mechanised meta-theory of intuitionistic epistemic logic, Constructive knowledge and the justified true belief paradigm, INTUITIONISTIC EPISTEMIC LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Justified common knowledge
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Arithmetization of metamathematics in a general setting
• Intuitionistic Epistemology and Modal Logics of Verification
• THE LOGIC OF JUSTIFICATION
• INTUITIONISTIC EPISTEMIC LOGIC
• Some theorems about the sentential calculi of Lewis and Heyting