This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

We prove that each countable rooted K4 -frame is a d-morphic image of a subspace of the space $\mathbb{Q}$ of rational numbers. From this we derive that each modal logic over K4 axiomatizable by variable-free formulas is the d-logic of a subspace of $\mathbb{Q}$ . It follows that subspaces of $\mathbb{Q}$ give rise to continuum many d-logics over K4 , continuum many of which are neither finitely axiomatizable nor decidable. In addition, we exhibit several families of modal logics finitely axiomatizable (...) by variable-free formulas over K4 that d-define interesting classes of topological spaces. Each of these logics has the finite model property and is decidable. Finally, we introduce quasi-scattered and semi-scattered spaces as generalizations of scattered spaces, develop their basic properties, axiomatize their corresponding modal logics, and show that they also arise as the d-logics of some subspaces of $\mathbb{Q}$. (shrink)

We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL n with respect to certain subspaces of the rational numbers. These completeness results are extended to the bimodal case with the universal modality.

We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of the six (...) classes of spaces considered in the paper are pairwise distinct, while the C-logics of some of them coincide. (shrink)