Modality and possibility in some intuitionistic modal logics

DOI10.1305/ndjfl/1093636766zbMath0638.03017OpenAlexW2077513906MaRDI QIDQ1099162

Josep Maria Font

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636766

zbMATH Keywords

algebraic modelsintuitionistic modal logicsnumber of different modalitiestopological pseudo-Boolean algebras

Mathematics Subject Classification ID

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

Related Items

Intuitionistic modal logic and set theory, Periodicity of negation, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, On classical behavior of intuitionistic modalities, Fuzzy sets and residuated logic, Standard Gödel modal logics, A general method for proving decidability of intuitionistic modal logics, Constructive modal logics. I, On logics with coimplication, A first approach to abstract modal logics, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, On the Blok-Esakia Theorem, A uniform tableau method for intuitionistic modal logics. I