Abstract
We introduce a natural classification of normal extensions of the modal logic S4 in accordance to the volumes of clusters in the Kripke frames and prove the decidability of the classification. We distinguish the main logics in this classification and establish their important properties: finite axiomatizability, finite approximability, and recognizability.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have