Hybrid Languages (1995)
Cached
Download Links
- [turing.wins.uva.nl]
- [turing.wins.uva.nl]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Logic, Language and Information |
| Citations: | 95 - 20 self |
BibTeX
@ARTICLE{Blackburn95hybridlanguages,
author = {Patrick Blackburn and Jerry Seligman},
title = {Hybrid Languages},
journal = {Journal of Logic, Language and Information},
year = {1995},
volume = {4},
pages = {41--62}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 1 Introduction Although both first-order languages and modal languages are tools for describing relational structures, they work very differently. First-order languages take an `external' view of relational structures, and make use of explicit variables and binding. Modal languages, on the other hand, take an `internal' view and eschew explicit variable binding in favour of operators. The purpose of this p...
Citations
No citations identified.
