Schroder, LutzPattinson, Dirk2015-12-13March 4-69783939897163http://hdl.handle.net/1885/83823Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functoKeywords: Canonical models; Coalgebraic semantics; Coalgebras; Deduction; Hybrid languages; Logic in computer science; Modal logic; Reasoning principles; Formal logic; Semantics; Computer science Coalgebra; Deduction; Logic in computer science; Modal logic; Semantics201010.4230/LIPIcs.STACS.2010.24922016-02-24