Epistemic extensions of combined classical and intuitionistic propositional logic

DOI10.1093/JIGPAL/JZX004zbMath1405.03041arXiv1611.01429OpenAlexW3101283403MaRDI QIDQ4644488

Steffen Lewitzka

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

modal logicalgebraic semanticsepistemic logicnon-Fregean logiccombining classical and intuitionistic logic

Mathematics Subject Classification ID

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

Related Items (2)

Reasoning about proof and knowledge ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity

This page was built for publication: Epistemic extensions of combined classical and intuitionistic propositional logic