|
|||||
|
|
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere |
|
| Authors: | Torben?Braüner author-information" > author-information__contact u-icon-before" > mailto:torben@ruc.dk" title=" torben@ruc.dk" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author |
| Affiliation: | (1) Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark |
| Abstract: | A hybrid logic is obtained by adding to an ordinary modal logic further expressive power in the form of a second sort of propositional symbols called nominals and by adding so-called satisfaction operators. In this paper we consider hybridized versions of S5 (“the logic of everywhere”) and the modal logic of inequality (“the logic of elsewhere”). We give natural deduction systems for the logics and we prove functional completeness results. |
| Keywords: | Modal logic hybrid logic natural deduction functional completeness |
| 本文献已被 SpringerLink 等数据库收录！ | |