Modality and possibility in some intuitionistic modal logics
From MaRDI portal
Publication:1099162
DOI10.1305/ndjfl/1093636766zbMath0638.03017OpenAlexW2077513906MaRDI QIDQ1099162
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
algebraic modelsintuitionistic modal logicsnumber of different modalitiestopological pseudo-Boolean algebras
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