Labelled Deduction

  • David Basin
  • Marcello D’Agostino
  • Dov M. Gabbay
  • Seán Matthews
  • Luca Viganò

Part of the Applied Logic Series book series (APLS, volume 17)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Vincent Balat, Didier Galmiche
    Pages 1-32
  3. Bernhard Beckert, Reiner Hähnle, Felip Manyà
    Pages 59-80
  4. Krysia Broda, Doy M. Gabbay
    Pages 107-134
  5. Serenella Cerrito, Marta Cialdea Mayer
    Pages 135-159
  6. Dov M. Gabbay, Guido Governatori
    Pages 161-191
  7. Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
    Pages 193-214
  8. Alessandra Raffaetà, Thom Frühwirth
    Pages 215-243
  9. Back Matter
    Pages 267-267

About this book


Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.


cognitive science computational linguistics linguistics logic modal logic programming semantics

Editors and affiliations

  • David Basin
    • 1
  • Marcello D’Agostino
    • 2
  • Dov M. Gabbay
    • 3
  • Seán Matthews
    • 4
  • Luca Viganò
    • 1
  1. 1.Albert-Ludwigs-Universität FreiburgGermany
  2. 2.Università di FerraraItaly
  3. 3.Department of Computer ScienceKing’s CollegeLondonUK
  4. 4.Logical GmbHFrankfurt am MainGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 2000
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-5781-3
  • Online ISBN 978-94-011-4040-9
  • Series Print ISSN 1386-2790
  • Buy this book on publisher's site