%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:34 +0100 GMT
%    
% Selection : Author: Jerry_Seligman
%




@TechReport{Blackburn_Seligman:1995,
      AUTHOR = {Blackburn, Patrick and Seligman, Jerry},
      TITLE = {Hybrid Languages},
      YEAR = {1995},
      MONTH = {October},
      NUMBER = {66},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus66.ps},
      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.},
      ANNOTE = {COLIURL : Blackburn:1995:HLA.pdf Blackburn:1995:HLA.ps}
}

@Article{Blackburn_Seligman:1995_1,
      AUTHOR = {Blackburn, Patrick and Seligman, Jerry},
      TITLE = {Hybrid Languages},
      YEAR = {1995},
      JOURNAL = {Journal of Logic, Language and Information},
      VOLUME = {4},
      PAGES = {251-272}
}

@TechReport{Blackburn_Seligman:1996,
      AUTHOR = {Blackburn, Patrick and Seligman, Jerry},
      TITLE = {What are Hybrid Languages?},
      YEAR = {1996},
      MONTH = {November},
      NUMBER = {83},
      PAGES = {19},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {http://turing.wins.uva.nl/~carlos/hybrid/Papers/what.pdf},
      ABSTRACT = {Hybrid languages exhibit two kinds of hybridisation. First, they combine the distinguishing features of modal logic and classical logic: although they have a Kripke semantics, they also make use of explicit variables and quantifiers that bind them. Second, they don't draw a syntactic distinction between terms and formulas: terms are part of the formula algebra, thus enabling the free combination of two different types of information. The goals of this paper are to introduce a number of hybrid languages, to discuss some of their fundamental logical properties (expressivity, decidability, and undecidability), and then, brie to indicate why such systems deserve further attention. Although hybrid languages have a long and varied history, it is quite likely that most readers will know little, if anything, about them. This dictates the structure of this paper: before we can explain why we're interested in hybrid languages, we're going to have to explain what they are and give some insight into their capabilities, for only then will a discussion of broader motivational issues make much sense.},
      ANNOTE = {COLIURL : Blackburn:1996:WHL.pdf}
}