scientific article; zbMATH DE number 4123702

zbMath0686.03010MaRDI QIDQ4204132

Michael Zakharyashchev

Publication date: 1988

Full work available at URL: https://eudml.org/doc/187449

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicextensions of S4

Mathematics Subject Classification ID

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

Related Items (6)

Characteristic formulas of partial Heyting algebras ⋮ Syntax and semantics of superintuitionistic logics ⋮ The disjunction property of intermediate propositional logics ⋮ Modal companions of intermediate propositional logics ⋮ Generalized Kripke semantics for Nelson's logic ⋮ Characteristic Formulas Over Intermediate Logics

This page was built for publication: