scientific article
From MaRDI portal
Publication:3866079
zbMath0429.03009MaRDI QIDQ3866079
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
framesbimodal algebrabimodal calculiKripke completeness theoremKripke-type semantics for intuitionistic modal calculinecessitation rule as primitive
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Other algebras related to logic (03G25) Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55) Categoricity and completeness of theories (03C35)
Related Items (3)
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication:
