IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #200   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:27
200 Add to my selection
Patrick Blackburn and Maarten de Rijke. Why Combine Logics? Technical report, CLAUS-Report 57, Universität des Saarlandes, Saarbrücken, April 1995. URL [Abstract] [Annote]
@TechReport{Blackburn_de Rijke:1995,
      AUTHOR = {Blackburn, Patrick and de Rijke, Maarten},
      TITLE = {Why Combine Logics?},
      YEAR = {1995},
      MONTH = {April},
      NUMBER = {57},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus57.ps},
      ABSTRACT = {Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standard languages. By analysing a number of applications where combined logics arise, we argue that combined logics are a potentially valuable tool in applied logic, and that endorsements of standard languages often miss the point. Using the history of quantified modal logic as our main example, we also show that the use of combined structures and logics is a recurring theme in the analysis of existing logical systems.},
      ANNOTE = {COLIURL : Blackburn:1995:WCL.pdf Blackburn:1995:WCL.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin