An application of Rieger-Nishimura formulas to the intuitionistic modal logics

DOI10.1007/BF00370811zbMath0591.03007MaRDI QIDQ1074572

Dimiter Vakarelov

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

consistencyintuitionistic logicmonadic formulaIntuitionistic monotone modal logic

Mathematics Subject Classification ID

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

Cites Work

• Intuitionistic modal logics incompatible with the law of the excluded middle
• On formulas of one variable in intuitionistic propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An application of Rieger-Nishimura formulas to the intuitionistic modal logics