Intuitionistic modal logics incompatible with the law of the excluded middle

DOI10.1007/BF01874703zbMATH Open0469.03009MaRDI QIDQ1156786FDOQ1156786

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)

Cites Work

• Title not available (Why is that?)

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)