TY - JOUR
TI - Inclusions Between Pseudo-euclidean Modal Logics
AU - Hasimoto, Yasusi
AU - Maruyama, Akio
TI - Inclusions Between Pseudo-euclidean Modal Logics
AB - 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.
VL - 2011
IS - Number 46
PY - 2011
SN - 0137-2904
C1 - 2084-2589
SP - 133
EP - 142
DO - 10.4467/20842589RM.11.008.0286
UR - https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/inclusions-between-pseudo-euclidean-modal-logics