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>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support