Intuitionistic modal logics incompatible with the law of the excluded middle

DOI10.1007/BF01874703MaRDI QIDQ1156786zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(4)

• Models for normal intuitionistic modal logics
• A uniform tableau method for intuitionistic modal logics. I
• Varieties of logical matrices
• An application of Rieger-Nishimura formulas to the intuitionistic modal logics

This page was built for publication: Intuitionistic modal logics incompatible with the law of the excluded middle

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