Hybrid languages |
| |
| Authors: | Patrick Blackburn Jerry Seligman |
| |
| Affiliation: | (1) Computerlinguistik, UniversitÄt des Saarlandes, D-66041 Saarbrücken, Germany;(2) Philosophy Department, Indiana University, 47045 Bloomington, IN, USA;(3) Institute of Philosophy, National Chung Cheng University, Chia-Yi, Taiwan, R.O.C. |
| |
| Abstract: | Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability problems. |
| |
| Keywords: | Modal logic correspondence theory first-order fragments hybrid languages |
| 本文献已被 SpringerLink 等数据库收录！ |
|
