Disjunctive property of superintuitionist and modal logics

DOI10.1007/BF01137437zbMath0655.03010MaRDI QIDQ1109023

Michael Zakharyashchev

Publication date: 1987

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

propositional logicsuperintuitionistic logicdisjunction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Cites Work

• The decidability of certain intermediate propositional logics
• Modal Logics Between S 4 and S 5
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Unnamed Item