Inclusion Relationship between Pseudo-Euclidean Logics

• Autorzy: Hashimoto Y. , Maruyama A.
• Języki publikacji: EN

Abstrakty

EN

We describe properties of simply axiomatized modal logics, which are called pseudo-Euclidean modal logics. For fixed non-negative integers m and n, let Em,n k be the logic which is obtained from the smallest normal propositional modal logic K by adding the pseudo-Euclidean axiom lozenge k fi rightarrow box m lozenge n fi, where k greater-than or equal to 0. 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.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2011
• Tom: Vol. 46
• Strony: 133--142
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Hashimoto Y.

autor

Maruyama A.

• Department of Career Development and Liberal Arts Tokiwa Junior College 1-430-1 Miwa, Mito, Ibaraki, 310-8585, Japan,

Bibliografia

• [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.