A modal logic amalgam of classical and intuitionistic propositional logic

DOI10.1093/logcom/exv048zbMath1444.03066arXiv1306.2068OpenAlexW1511472288MaRDI QIDQ2987047

Steffen Lewitzka

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

modal logicalgebraic semanticsprovabilityintuitionistic logicnon-Fregean logiccombining classical and intuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Reasoning about proof and knowledge ⋮ Cardinality reduction theorem for logics QHC and QH4

This page was built for publication: A modal logic amalgam of classical and intuitionistic propositional logic