Click me
Click me
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.
Coalgebraic expressions
at
FICS 2009
.