Rob Myers : ku.ca.ci.cod@mbor

Interests
Coalgebraic Modal Logic.
Applications of Hybrid Coalgebraic Modal Logic to Knowledge Representation and Description Logic.
Generic Reactive Programming Languages via the Coalgebraic mu-calculus.
Graphical Programming Languages.
Publications
CoLoSS: The Coalgebraic Logic Satisfiability Solver with Georgel Calin, Dirk Pattinson and Lutz Schroder at Methods for Modalities 5.
Coalgebraic Hybrid Logic with Dirk Pattinson and Lutz Schroder at FoSSaCS 2009.
Hybrid Modal Logic with the Difference Modality for Generalisations of Graphs with Dirk Pattinson. To appear in the Journal of Applied Logic as part of a special issue on Hybrid Logic.