(Co-)Algebraic semantics of Modal Logic

The main part of the talk will be an overview over some basic notions of modal logic. This will include Kripke semantics, algebraic semantics and a comparison of the two. The notion of a (descriptive) general frame is used to combine these two approaches. We then will show how one can use a particular endofunctor on the category of Stone Spaces to formulate the notion of a descriptive general frame in coalgebraic terms.  

hosted by