Named Models in Coalgebraic Hybrid Logic.

Lutz Schrder, Dirk Pattinson

Browse the full STACS paper archive.