Inclusions Between Pseudo-euclidean Modal Logics
Choose format
RIS BIB ENDNOTEInclusions Between Pseudo-euclidean Modal Logics
Publication date: 15.12.2011
Reports on Mathematical Logic, 2011, Number 46, pp. 133-142
https://doi.org/10.4467/20842589RM.11.008.0286Authors
Inclusions Between Pseudo-euclidean Modal Logics
We describe properties of simply axiomatized modal logics, which are called pseudo-Euclidean modal logics. We will then give a complete description of the inclusion relationship among these logics by showing inclusion relationships for pairs of their logics with fixed m and n.
[1] J. F. A. K. van Benthem, A note on modal formulas and relational properties, Journal of Symbolic Logic, 40 (1) (1975), pp. 55–58.
[2] A. Chagrov and Shehtman, Algorithmic aspects of propositional tense logics, Lecture Notes in Computer Science, Springer, Vol. 933 (1995), pp. 442–455.
[3] A. Chagrov and M. Zakharyaschev, Modal Logic, Volume 35 of Oxford Logic Guide, Oxford University Press, 1997.
[4] K. Fine, Normal forms in modal logic, Notre Dame Journal of Formal Logic, 16 (2) (1975), pp. 229–237.
[5] F.B. Fitch, A correlation between modal reduction principles and properties of relations, Journal of Philosophical Logic, 2 (1973), pp. 97–101.
[6] R.I. Goldblatt, First-order definability in modal logic, Journal of Symbolic Logic, 40 (1) (1975), pp. 35–40.
[7] Y. Hasimoto, Algebras and frames for modal logics, Ph.D. Thesis, School of Information Science, Japan Advanced Institute of Science and Technology, 2001.
[8] M. Kracht, Tools and Technics in Modal Logic, North Holland, 1999.
[9] K. Segerberg, An essay in classical modal logic, Philosophical Studies, Uppsala, 13, 1970.
Information: Reports on Mathematical Logic, 2011, Number 46, pp. 133-142
Article type: Original article
Tokiwa Junior College 1-430-1 Miwa, Mito, Ibaraki, 310-8585, Japan
Fukui National College of Technology Geshi, Sabae, Fukui, 916-8507, Japan
Published at: 15.12.2011
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
English