Named Models in Coalgebraic Hybrid Logic

Lutz Schröder, Dirk Pattinson

In: Jean-Yves Marion , Thomas Schwentick (Hrsg.). Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science. International Symposium on Theoretical Aspects of Computer Science (STACS-2010) 27th March 4-6 Nancy France Seiten 645-656 Leibniz International Proceedings in Informatics 5 Schloss Dagstuhl - Leibniz-Center of Informatics Dagstuhl, Germany 3/2010.


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.


Weitere Links

schroder.pdf (pdf, 179 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence