scientific article
From MaRDI portal
Publication:3775521
zbMath0636.03011MaRDI QIDQ3775521
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possibilityframe-theoretic characterizationsintuitionistic modal propositional logics with comodalizer
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)
Related Items
