scientific article

zbMath0452.03014MaRDI QIDQ3898472

Gisele Fischer Servi

Publication date: 1981

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

zbMATH Keywords

modal logicsemanticsintuitionistic logicrelational modelsintuitionistic propositional calculusbi-modal logics

Mathematics Subject Classification ID

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

Related Items (13)

Intuitionistic non-normal modal logics: a general framework ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Ontological argument and infinity in Spinoza's thought ⋮ Propositional lax logic ⋮ Hennessy-Milner properties via topological compactness ⋮ Intuitionistic conditional logics ⋮ Fibrational modal type theory ⋮ On graphs for intuitionistic modal logics ⋮ On Displaying Negative Modalities ⋮ Unnamed Item ⋮ Constructive modal logics. I ⋮ On the Blok-Esakia Theorem

This page was built for publication: