Dualities in modal logics via the Kleisli construction

Description:  Motivated by questions in semantics of modal (propositional) logics, over the past years several duality results were established which extend the classical Priestley and Stone dualities. In this talk we will show how the Kleisli construction for monads can simplify their proof and presentation. Date:  2011-09-20 Start Time:   15:00 Speaker:  Dirk Hofmann (U. Aveiro) Institution:  Universidade de Aveiro Place:  Sala 5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>