Modality and possibility in some intuitionistic modal logics

DOI10.1305/NDJFL/1093636766MaRDI QIDQ1099162zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3895062
• A construction of Boolean algebras from first-order structures
• Models and sets. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I
• scientific article; zbMATH DE number 3957057
• scientific article; zbMATH DE number 2184445
• scientific article; zbMATH DE number 3937166
• scientific article; zbMATH DE number 5070359
• Modalities as interactions between the classical and the intuitionistic logics
• Topological Modal Logics with Difference Modality
• A Brief Introduction to Algebraic Set Theory

Cited in

(25)

• Intuitionistic modal logic and set theory
• Fuzzy sets and residuated logic
• Periodicity of negation
• On the relation between possibilistic logic and modal logics of belief and knowledge
• Modalities as interactions between the classical and the intuitionistic logics
• Some classical modal logics with a necessity/impossibility operator
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• A general method for proving decidability of intuitionistic modal logics
• Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• A uniform tableau method for intuitionistic modal logics. I
• scientific article; zbMATH DE number 3957057 (Why is no real title available?)
• On the Blok-Esakia theorem
• On classical behavior of intuitionistic modalities
• scientific article; zbMATH DE number 3981153 (Why is no real title available?)
• The Russell-Prawitz modality
• Constructive modal logics. I
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Standard Gödel modal logics
• On logics with coimplication
• A first approach to abstract modal logics
• scientific article; zbMATH DE number 7668093 (Why is no real title available?)
• scientific article; zbMATH DE number 3865242 (Why is no real title available?)
• On intuitionistic diamonds (and lack thereof)

This page was built for publication: Modality and possibility in some intuitionistic modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099162)