Transition Structures and Topologies

Matthew Collinson

(Manchester University)

I will discuss a number of ways of combining transition structures with topologies. These lead to a family of duality results in the style of point-free topology (locale theory). As a consequence soundness and completeness for certain versions of propositional intuitionistic logic with modal operators are implicit.
Wednesday 25th June 2003, 12:00
Robert Recorde Room
Department of Computer Science