Modality and possibility in some intuitionistic modal logics
type: Item
instance of: scholarly article
title: Modality and possibility in some intuitionistic modal logics
zbMATH Open document ID: 0638.03017
published in: Notre Dame Journal of Formal Logic
publication date: 1986-01-01T00:00:00Z
review text: 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).
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4039855
zbMATH Keywords: number of different modalities
zbMATH Keywords: intuitionistic modal logics
zbMATH Keywords: algebraic models
zbMATH Keywords: topological pseudo-Boolean algebras
author: Josep Maria Font
reviewed by: Satoshi Miura
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093636766
OpenAlex ID: W2077513906
DOI: 10.1305/NDJFL/1093636766
Recommended article: Q5187280
Recommended article: A construction of Boolean algebras from first-order structures
Recommended article: Models and sets. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I
Recommended article: Q3726084
Recommended article: Q3022775
Recommended article: Q3710519
Recommended article: Q5395256
Recommended article: Q5437776
Recommended article: Topological Modal Logics with Difference Modality
Recommended article: A Brief Introduction to Algebraic Set Theory
description: scientific article; zbMATH DE number 4039855