| Authors |
|
| Publication date |
2005
|
| Journal |
Logic Journal of the IGPL
|
| Volume | Issue number |
13 | 3
|
| Pages (from-to) |
293-300
|
| Organisations |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| Abstract |
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1093/jigpal/jzi024
|
|
Permalink to this page
|
