| Publication type: |
Article in Proceedings |
| Author: |
Lutz Schröder, Dirk Pattinson |
| Editor: |
Jean-Yves Marion, Thomas Schwentick |
| Title: |
Named Models in Coalgebraic Hybrid Logic |
| Book / Collection title: |
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 |
| Volume: |
5 |
| Page(s): |
645 – 656 |
| Series: |
Leibniz International Proceedings in Informatics |
| Year published: |
2010 |
| Publisher: |
Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany |
| 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.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/namedModels.pdf |
| Keywords: |
coalgebra modal logic named models pure completeness local binding |
| Status: |
Reviewed |
| Last updated: |
21. 04. 2010 |
|
 |
