an:04047687
Zbl 0643.03014
Sambin, Giovanni; Vaccaro, Virginia
Topology and duality in modal logic
EN
Ann. Pure Appl. Logic 37, No. 3, 249-296 (1988).
00167454
1988
j
03B45 18A40
general frames; valuations; duality; adjoint functors; semantics of propositional modal logics; modal algebras; adjoint pair of functors; completeness theorems; Kripke frames
There are two major approaches to the semantics of propositional modal logics: the algebraic, as exemplified by modal algebras (i.e., Boolean algebras with an extra unary operation); and the relational, as exemplified by Kripke frames (i.e., sets with a binary operation). Each approach gives rise to an associated first order language, and much research in this area has centered around completeness theorems roughly of the form: sentence \(\sigma\) is a theorem of a set \(\Gamma\) of sentences relative to such-and-such a modal logic if and only if \(\sigma\) is a consequence of \(\Gamma\) is every modal algebra (or frame) that satisfies such-and-such (perhaps first order) conditions. Of course there are many variations on this theme, and it is natural to assume any general theory that connects the two semantical approaches mentioned above has potential for shedding significant light on completeness phenomena, as well as being of intrinsic interest.
The paper under review not only gives a quite readable and leisurely introduction to the important issues of the subject, but delineates a new connection between the algebraic and relational approaches, said connection taking the form of an adjoint pair of functors between certain categories. (This adjunction extends known duality theorems that arise from an analysis of the classical duality of M. H. Stone. This is where topology enters the picture.)
The paper is divided into three chapters. Chapter I introduces the reader to modal semantics, discusses the ideas upon which duality theory is based, and points out the relevance of these ideas to completeness theorems. Chapter II develops the technical machinery leading to the adjoint functor theorem alluded to above. Finally, Chapter III gives applications of the theory developed in Chapter II; one such is a simple description of the structure of modal classes of ``generalized'' Kripke frames.
P.Bankston