Hybrid languages

Patrick Blackburn*, Jerry Seligman

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

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.
OriginalsprogEngelsk
TidsskriftJournal of Logic, Language and Information
Vol/bind4
Udgave nummer3
Sider (fra-til)251-272
Antal sider22
ISSN0925-8531
DOI
StatusUdgivet - sep. 1995
Udgivet eksterntJa

Emneord

  • correspondence theory
  • first-order fragments
  • hybrid languages
  • Modal logic

Citer dette