IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #205   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:28
205 Add to my selection
Patrick Blackburn, Maarten de Rijke and Ide Vennema. Relational Methods in Logic, Language and Information. Technical report, CLAUS-Report 65, Universität des Saarlandes, Saarbrücken, September 1995. URL [Abstract] [Annote]
@TechReport{Blackburn_et_al:1995,
      AUTHOR = {Blackburn, Patrick and de Rijke, Maarten and Vennema, Ide},
      TITLE = {Relational Methods in Logic, Language and Information},
      YEAR = {1995},
      MONTH = {September},
      NUMBER = {65},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus65.ps},
      ABSTRACT = {This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead to the current focus on dynamics in the area. After that we give examples of logics of transitions that naturally arise in this setting, and we identify more general themes such as bisimulations, relativisations and dynamic modes of inference. We conclude with a discussion of newly emerging themes, and the limitations of the relational perspective.},
      ANNOTE = {COLIURL : Blackburn:1995:RML.pdf Blackburn:1995:RML.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin