Named Models in Coalgebraic Hybrid Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Named Models in Coalgebraic Hybrid Logic

Résumé

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.
Fichier principal
Vignette du fichier
schroder.pdf (168.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00455969 , version 1 (11-02-2010)

Identifiants

  • HAL Id : inria-00455969 , version 1

Citer

Lutz Schroeder, Dirk Pattinson. Named Models in Coalgebraic Hybrid Logic. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.645-656. ⟨inria-00455969⟩

Collections

STACS2010
101 Consultations
106 Téléchargements

Partager

Gmail Facebook X LinkedIn More