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)
Related Items
Models for normal intuitionistic modal logics ⋮ Varieties of logical matrices ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Cites Work