Coalgebraic Hybrid Logic.

Robert S. R. Myers, Dirk Pattinson, Lutz Schrder

Browse the full FOSSACS paper archive.