Coalgebraic Hybrid Logic

@inproceedings{pub4254,
    author = {

Myers, Rob
 and 

Pattinson, Dirk
 and 

Schröder, Lutz
},
    editor = {

Alfaro, Luca de
},
    title = {Coalgebraic Hybrid Logic},
    booktitle = {Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-09), 12th, befindet sich Joint European Conferences on Theory and Practice of Software, ETAPS 2009, March 22-25, York, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    volume = {5504},
    pages = {137--151},
    publisher = {Springer},
    isbn = {0302-9743}
}