Disjunctive property of superintuitionist and modal logics

DOI10.1007/BF01137437MaRDI QIDQ1109023zbMATH OpenFDO

Authors Michael Zakharyaschev

Publication date 1987

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01137437

zbMATH Keywords

disjunctionpropositional logicsuperintuitionistic logic

Mathematics Subject Classification ID

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

Review text

See the review in Zbl 0642.03015.

Cites work

• Boolean Algebras with Operators. Part I
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• Modal Logics Between S 4 and S 5
• Some theorems about the sentential calculi of Lewis and Heyting
• The decidability of certain intermediate propositional logics

Cited in

(1)

• An alternative rule of disjunction in modal logic

This page was built for publication: Disjunctive property of superintuitionist and modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109023)