Applied Logic Series

Labelled Deduction

Editors: Basin, D., D'Agostino, M., Gabbay, D.M., Matthews, S., Viganò, L. (Eds.)

Buy this book

eBook $169.00
price for USA (gross)
  • ISBN 978-94-011-4040-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.00
price for USA
  • ISBN 978-0-7923-6237-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $219.00
price for USA
  • ISBN 978-94-010-5781-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

About the authors

Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.

Table of contents (10 chapters)

  • Labelled Proof Systems for Intuitionistic Provability

    Balat, Vincent (et al.)

    Pages 1-32

  • Normal Multimodal Logics with Interaction Axioms

    Baldoni, Matteo

    Pages 33-57

  • The SAT Problem of Signed CNF Formulas

    Beckert, Bernhard (et al.)

    Pages 59-80

  • Discipline as Logic: Treating Labels as First Class Citizens

    Blackburn, Patrick

    Pages 81-105

  • Labelled Abduction

    Broda, Krysia (et al.)

    Pages 107-134

Buy this book

eBook $169.00
price for USA (gross)
  • ISBN 978-94-011-4040-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.00
price for USA
  • ISBN 978-0-7923-6237-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $219.00
price for USA
  • ISBN 978-94-010-5781-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Labelled Deduction
Editors
  • David Basin
  • Marcello D'Agostino
  • Dov M. Gabbay
  • Seán Matthews
  • Luca Viganò
Series Title
Applied Logic Series
Series Volume
17
Copyright
2000
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-011-4040-9
DOI
10.1007/978-94-011-4040-9
Hardcover ISBN
978-0-7923-6237-1
Softcover ISBN
978-94-010-5781-3
Series ISSN
1386-2790
Edition Number
1
Number of Pages
XI, 267
Topics