An arithmetical interpretation of verification and intuitionistic knowledge

DOI10.1007/978-3-319-27683-0_22MaRDI QIDQ5283437zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: Intuitionistic epistemic logic introduces an epistemic operator, which reflects the intended BHK semantics of intuitionism, to intuitionistic logic. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based, thereby providing the systems of intuitionistic epistemic logic extended by an epistemic operator based on verification with an arithmetical semantics too.

Recommendations

• An arithmetic interpretation of intuitionistic verification
• Intuitionistic epistemology and modal logics of verification
• scientific article; zbMATH DE number 51606
• Reasoning about proof and knowledge
• INTUITIONISTIC EPISTEMIC LOGIC

Cites work

• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• A short introduction to intuitionistic logic
• Arithmetization of metamathematics in a general setting
• Explicit provability and constructive semantics
• INTUITIONISTIC EPISTEMIC LOGIC
• Intuitionistic epistemology and modal logics of verification
• Justified common knowledge
• Making knowledge explicit: how hard it is
• Some theorems about the sentential calculi of Lewis and Heyting
• The logic of justification
• The logic of proofs, semantically

Cited in

(10)

• scientific article; zbMATH DE number 6863635 (Why is no real title available?)
• scientific article; zbMATH DE number 51606 (Why is no real title available?)
• Reasoning about proof and knowledge
• Intuitionistic epistemology and modal logics of verification
• Constructive knowledge and the justified true belief paradigm
• INTUITIONISTIC EPISTEMIC LOGIC
• Constructive and mechanised meta-theory of intuitionistic epistemic logic
• An arithmetic interpretation of intuitionistic verification
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)

This page was built for publication: An arithmetical interpretation of verification and intuitionistic knowledge

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