Reasoning about proof and knowledge

DOI10.1016/J.APAL.2018.10.001zbMath1478.03026arXiv1709.06672OpenAlexW2759084708WikidataQ129160643 ScholiaQ129160643MaRDI QIDQ1625594

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

modal logicrelational semanticsintuitionistic logicepistemic logicBHK interpretationproof predicate

Mathematics Subject Classification ID

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

Cites Work

• \(\in_K\): a non-Fregean logic of explicit knowledge
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
• Investigations into the sentential calculus with identity
• Explicit Provability and Constructive Semantics
• Algebraic semantics for a modal logic close to S1
• A modal logic amalgam of classical and intuitionistic propositional logic
• Epistemic extensions of combined classical and intuitionistic propositional logic
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
• INTUITIONISTIC EPISTEMIC LOGIC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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