top

Hybrid Languages

P. Blackburn and J. Seligman. Hybrid Languages. Journal of Logic, Language and Information, 4:251–272, 1995.

Download: [pdf] 

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.

BibTeX: (download)

@ARTICLE{blackburn95:_hybrid_languag,
  author = {P. Blackburn and J. Seligman},
  title = {Hybrid Languages},
  journal = {Journal of Logic, Language and Information},
  year = {1995},
  volume = {4},
  pages = {251--272},
  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. }
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33