Normal companions of intuitionistic modal logics. (English. Russian original) Zbl 07786473
Algebra Logic 61, No. 6, 445-465 (2023); translation from Algebra Logika 61, No. 6, 59-686 (2022).
Summary: Previously, Došen and Božić introduced four independent intuitionistic modal logics, one for each of four types of modal operators – necessity \(N\), possibility \(P\), impossibility Im, and unnecessity Un. These logics are denoted HKM, where \(M \in\{N, P, Un, Im\}\). Interest in treating the four types of modal operators separately is associated with just the fact that these cannot be reduced to each other over intuitionistic logic. Here we study extensions of logics HKM that have normal companions. It turns out that all extensions of the logics HKN and HKUn possess normal companions. For the extensions of HKP and HKIm, we obtain a criterion for the existence of normal companions, which is postulated as the presence of some modal law of double negation. Also we show how adding of this law influences expressive capacities of a logic. Of particular interest is the result saying that extensions of HKP and HKIm have normal companions only if they are definitionally equivalent to those of HKN and HKUn respectively. This result is one more example of the differences in behavior of the four types of modal operators over intuitionistic logic.
References:
| [1] | F.Wolter and M. Zakharyaschev, “Intuitionistic modal logic,” in Synthese Libr., 280, Kluwer, Dordrecht (1999), pp. 227-238. · Zbl 0955.03029 |
| [2] | V. H. Sotirov, “Modal theories with intuitionistic logic,” in Proc. Conf. Math. Logic, (Sofia, 1980), Bulgarian Academy of Sciences (1984), pp. 139-171. |
| [3] | Božić, M.; Došen, K., Models for normal intuitionistic logics, Stud. Log., 43, 217-245 (1984) · Zbl 0634.03014 · doi:10.1007/BF02429840 |
| [4] | K. Došen, “Negative modal operators in intuitionistic logic,” Publ. Inst. Math., Nouv. Sér., 35(49), 3-14 (1984). · Zbl 0555.03011 |
| [5] | Došen, K., Models for stronger normal intuitionistic modal logics, Stud. Log., 44, 1, 39-70 (1985) · Zbl 0634.03015 · doi:10.1007/BF00370809 |
| [6] | Drobyshevich, S., On classical behavior of intuitionistic modalities, Log. Log. Philos., 24, 1, 79-104 (2015) · Zbl 1375.03022 |
| [7] | S. A. Drobyshevich and S. P. Odintsov, “The finite model property for negative modalities,” Sib. Electr. Math. Rep., 10, 1-21 (2013); http://semr.math.nsc.ru/v10/p1-21.pdf · Zbl 1330.03043 |
| [8] | Wolter, F.; Zakharyaschev, M., The relation between intuitionistic and classical modal logics, Algebra and Logic, 36, 2, 73-92 (1997) · Zbl 0937.03033 · doi:10.1007/BF02672476 |
| [9] | Wolter, F., Superintuitionistic companions of classical modal logics, Stud. Log., 58, 2, 229-259 (1997) · Zbl 0952.03020 · doi:10.1023/A:1004916107078 |
| [10] | F. Wolter and M. Zakharyaschev, “On the Blok-Esakia theorem,” in Outst. Contrib. Log., 4, Springer, Dordrecht (2014), pp. 99-118. · Zbl 1350.03022 |
| [11] | Maksimova, LL; Rybakov, VV, A lattice of normal modal logics, Algebra snd Logic, 13, 2, 105-122 (1974) · Zbl 0315.02027 · doi:10.1007/BF01463150 |
| [12] | S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Grad. Texts Math., 78, Springer-Verlag, New York (1981). · Zbl 0478.08001 |
| [13] | H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963). · Zbl 0122.24311 |
| [14] | Chagrov, A.; Zakharyaschev, M., Modal Logic, Oxford Logic Guides, 35 (1997), Oxford: Clarendon Press, Oxford · Zbl 0871.03007 · doi:10.1093/oso/9780198537793.001.0001 |
| [15] | Goldblatt, R., Mathematics of Modality, CSLI Lecture Notes, 43 (1993), Stanford, CA: Stanford University, Stanford, CA · Zbl 0942.03516 |
| [16] | E. Pacuit, Neighborhood Semantics for Modal Logic, Short Textb. Log., Springer, Cham (2017). · Zbl 1390.03001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
