Intuitionistic modal logics incompatible with the law of the excluded middle
From MaRDI portal
Publication:1156786
DOI10.1007/BF01874703zbMath0469.03009MaRDI QIDQ1156786
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
Related Items
An application of Rieger-Nishimura formulas to the intuitionistic modal logics, Models for normal intuitionistic modal logics, A uniform tableau method for intuitionistic modal logics. I, Varieties of logical matrices
Cites Work