On Extensions of Basic Propositional Logic

DOI10.1142/9789814678001_0011zbMath1432.03017OpenAlexW2505449347MaRDI QIDQ2989971

Minghui Ma, Katsuhiko Sano

Publication date: 9 June 2017

Published in: Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814678001_0011

zbMATH Keywords

embeddingbasic propositional logicpost-completenesssuperbasic logicstwo constant property

Mathematics Subject Classification ID

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

Related Items (1)

Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics

This page was built for publication: On Extensions of Basic Propositional Logic