IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #195   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:27
195 Add to my selection
      AUTHOR = {Blackburn, Patrick},
      TITLE = {Internalizing Labeled Deduction},
      YEAR = {1998},
      MONTH = {November},
      NUMBER = {102},
      PAGES = {39},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {},
      ABSTRACT = {This paper shows how to internalize the Kripke satisfaction definition using labeled modal languages and explores the proof theoretic consequences of this. As we shall see, using labeled modal languages enables us to transfer classic Gabbay-style labeled deduction from the metalanguage to the object language, and to handle the required labeling discipline purely logically. Moreover, internalized labeled deduction links neatly with the Gabbay-style rules now widely used in modal Hilbert-systems, completeness results for a wide range of first-order definable frame classes can be obtained automatically, and the method extends straightforwardly to richer languages. The paper discusses related work by Jerry Seligman and Miroslava Tzakova and concludes with some reflections on the status of labeling in modal logic.},
      ANNOTE = {COLIURL : Blackburn:1998:ILD.pdf Blackburn:1998:ILD.dvi}
Last modified: Thu October 16 2014 19:11:34         BibAdmin