Inclusions Between Pseudo-euclidean Modal Logics
Languages of publication
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.
07 - 07 - 2015
Publication order reference