A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
6 Algebras and coalgebras
[chapter]
2007
Studies in Logic and Practical Reasoning
This chapter 1 sketches some of the mathematical surroundings of modal logic. First, we discuss the algebraic perspective on the field, showing how the theory of universal algebra, and more specifically, that of Boolean algebras with operators, can be used to prove significant results in modal logic. In the second and last part of the chapter we describe how modal logic, and its model theory, provides many natural manifestations of the more general theory of universal coalgebra. 1 This text has
doi:10.1016/s1570-2464(07)80009-7
fatcat:e77uebqxdferlcg2nlfe5hobpq