An arithmetical interpretation of verification and intuitionistic knowledge

DOI10.1007/978-3-319-27683-0_22zbMATH Open1476.03015arXiv1601.03059OpenAlexW2238084375MaRDI QIDQ5283437FDOQ5283437

Authors: Tudor Protopopescu 

Publication date: 21 July 2017

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

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.

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Arithmetization of metamathematics in a general setting
• Explicit provability and constructive semantics
• Title not available (Why is that?)
• The logic of proofs, semantically
• Some theorems about the sentential calculi of Lewis and Heyting
• The logic of justification
• Justified common knowledge
• Making knowledge explicit: how hard it is
• A short introduction to intuitionistic logic
• Intuitionistic Epistemology and Modal Logics of Verification
• INTUITIONISTIC EPISTEMIC LOGIC

Cited In (6)

• INTUITIONISTIC EPISTEMIC LOGIC
• Constructive and mechanised meta-theory of intuitionistic epistemic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive knowledge and the justified true belief paradigm
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic

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)