Hybrid logics with Sahlqvist axioms
| Authors |
|
|---|---|
| Publication date | 2005 |
| Journal | Logic Journal of the IGPL |
| Volume | Issue number | 13 | 3 |
| Pages (from-to) | 293-300 |
| Organisations |
|
| 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
(Final published version)
|
| Permalink to this page | |
