Named Models in Coalgebraic Hybrid Logic

Abstract : 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.
Type de document :
Communication dans un congrès
Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.645-656, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00455969
Contributeur : Publications Loria <>
Soumis le : jeudi 11 février 2010 - 14:23:47
Dernière modification le : jeudi 11 février 2010 - 14:38:46
Document(s) archivé(s) le : vendredi 18 juin 2010 - 18:23:35

Fichier

schroder.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00455969, version 1

Collections

Citation

Lutz Schroeder, Dirk Pattinson. Named Models in Coalgebraic Hybrid Logic. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.645-656, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00455969〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

119