Reasoning about proof and knowledge

DOI10.1016/J.APAL.2018.10.001MaRDI QIDQ1625594zbMATH OpenOpenAlexWikidataFDO

Authors Steffen Lewitzka

Publication date 29 November 2018

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

epistemic logicintuitionistic logicmodal logicrelational semanticsBHK interpretationproof predicate

Mathematics Subject Classification ID

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

Abstract: In previous work [Lewitzka, Log. J. IGPL 2017], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from G"odel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [Lewitzka, J. Log. Comp. 2015]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [Artemov and Protopopescu, Rev. Symb. Log. 2016]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer-Heyting-Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.

Recommendations

• Intuitionistic epistemology and modal logics of verification
• scientific article; zbMATH DE number 51606
• An arithmetic interpretation of intuitionistic verification
• An arithmetical interpretation of verification and intuitionistic knowledge
• Sequent Calculus for Intuitionistic Epistemic Logic IEL

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A modal logic amalgam of classical and intuitionistic propositional logic
• Algebraic semantics for a modal logic close to S1
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
• Epistemic extensions of combined classical and intuitionistic propositional logic
• Explicit provability and constructive semantics
• INTUITIONISTIC EPISTEMIC LOGIC
• Investigations into the sentential calculus with identity
• On Gödel's modal interpretation of the intuitionistic logic
• On the hypothetical judgement in the history of intuitionistic logic
• Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation
• \(\in_K\): a non-Fregean logic of explicit knowledge

Cited in

(7)

• scientific article; zbMATH DE number 2113552 (Why is no real title available?)
• Intuitionistic epistemology and modal logics of verification
• Knowledge Qualification through Argumentation
• An arithmetical interpretation of verification and intuitionistic knowledge
• scientific article; zbMATH DE number 1335878 (Why is no real title available?)
• scientific article; zbMATH DE number 7288886 (Why is no real title available?)
• Semantic characterization of the SCR-\(n\;(1\leq n\leq\omega)\) hierarchy

This page was built for publication: Reasoning about proof and knowledge

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