Modality and possibility in some intuitionistic modal logics
In the modal logic based on classical logic, the modal operators L (necessity) and M (possibility) are considered to be dual each other and mutually definable as \(M\leftrightarrow \neg L\neg\) and \(L\leftrightarrow \neg M\neg\). However in the modal logic based on intuitionistic logic, the duality disappears because of having weak negation, and both equivalences cannot remain valid. In this paper, some intuitionistic modal logics are studied, that is, L is adapted as a primitive symbol with implicative S4-type axioms and M is defined as \(\neg L\neg\). (L\(\leftrightarrow \neg M\neg\) does not hold generally.) The purpose of this paper is to analyze the behaviour of M, and to show the use of algebraic models to obtain logical properties of the modal systems. Concerning the behavior of M, there are two points. One is the study of all different modalities, and the other is the possible definition of intuitionistic modal logics analogous to S5-type. The concerning algebraic models are the topological pseudo-Boolean algebras in the author's earlier paper in Models and Sets, Proc. Logic Colloq., Aachen 1983, Part I, Lect. Notes Math. 1103, 169-192 (1984; Zbl 0562.03034).
- 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
- Fuzzy sets and residuated logic
- On logics with coimplication
- A uniform tableau method for intuitionistic modal logics. I
- Periodicity of negation
- A general method for proving decidability of intuitionistic modal logics
- The Russell-Prawitz modality
- On classical behavior of intuitionistic modalities
- Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal Logic
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- scientific article; zbMATH DE number 3957057 (Why is no real title available?)
- scientific article; zbMATH DE number 3981153 (Why is no real title available?)
- Intuitionistic modal logic and set theory
- A first approach to abstract modal logics
- scientific article; zbMATH DE number 1252394 (Why is no real title available?)
- On the relation between possibilistic logic and modal logics of belief and knowledge
- A deductive-reductive form of logic: Intuitionistic S4 modalities
- Some classical modal logics with a necessity/impossibility operator
- Moisil's modal logic and related systems
- On the Blok-Esakia theorem
- Modalities as interactions between the classical and the intuitionistic logics
- scientific article; zbMATH DE number 7668093 (Why is no real title available?)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- On intuitionistic diamonds (and lack thereof)
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Modal weak Kleene logics: axiomatizations and relational semantics
- Constructive modal logics. I
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
- Standard Gödel modal logics
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)
