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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.