Named models in coalgebraic hybrid logic

Lutz Schröder, Dirk Pattinson

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Citations (Scopus)


Hybrid 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 functor, thus covering a wide range of reasoning principles including, e.g., probabilistic, graded, default, or coalitional operators. Specifically, we establish generic criteria for a given coalgebraic hybrid logic to admit named canonical models, with ensuing completeness proofs for pure extensions on the one hand, and for an extended hybrid language with local binding on the other. We instantiate our framework with a number of examples. Notably, we prove completeness of graded hybrid logic with local binding.

Original languageEnglish
Title of host publicationSTACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science
Number of pages12
Publication statusPublished - 2010
Externally publishedYes
Event27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 - Nancy, France
Duration: 4 Mar 20106 Mar 2010

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
ISSN (Print)1868-8969


Conference27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010


Dive into the research topics of 'Named models in coalgebraic hybrid logic'. Together they form a unique fingerprint.

Cite this