scientific article; zbMATH DE number 3222922

MaRDI QIDQ5511405zbMATH OpenFDO

Authors R. A. Bull

Publication date 1965

zbMATH Keywords

mathematical logic

Cited in

(6)

• A theory of modal dialectics
• Models for normal intuitionistic modal logics
• Intuitionism and the modal logic of vagueness
• A general method for proving decidability of intuitionistic modal logics
• Intuitionistic \textsf{S4} as a logic of topological spaces
• Intuitionistic monotone modal logic via translation

This page was built for publication:

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