Skip to main content
SpringerLink
Log in

Labelled Deduction

  • Book
  • © 2000

Overview

Editors:
  1. David Basin

    1. Albert-Ludwigs-Universität Freiburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcello D’Agostino

    1. Università di Ferrara, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dov M. Gabbay

    1. Department of Computer Science, King’s College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Seán Matthews

    1. Logical GmbH, Frankfurt am Main, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Luca Viganò

    1. Albert-Ludwigs-Universität Freiburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Labelled Proof Systems for Intuitionistic Provability

    • Vincent Balat, Didier Galmiche
    Pages 1-32

  3. Normal Multimodal Logics with Interaction Axioms

    • Matteo Baldoni
    Pages 33-57

  4. The SAT Problem of Signed CNF Formulas

    • Bernhard Beckert, Reiner Hähnle, Felip Manyà
    Pages 59-80

  5. Discipline as Logic: Treating Labels as First Class Citizens

    • Patrick Blackburn
    Pages 81-105

  6. Labelled Abduction

    • Krysia Broda, Doy M. Gabbay
    Pages 107-134

  7. Labelled Tableaux for Propositional Linear Time Logic Over Finite Frames

    • Serenella Cerrito, Marta Cialdea Mayer
    Pages 135-159

  8. Fibred Modal Tableaux

    • Dov M. Gabbay, Guido Governatori
    Pages 161-191

  9. Labelled Deduction for the Guarded Fragment

    • Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
    Pages 193-214

  10. Semantics for Temporal Annotated Constraint Logic Programming

    • Alessandra Raffaetà, Thom Frühwirth
    Pages 215-243

  11. The Logic of Reusable Propositional Output with the Fulfilment Constraint

    • Leendert van der Torre
    Pages 245-266

  12. Back Matter

    Pages 267-267
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • Albert-Ludwigs-Universität Freiburg, Germany

    David Basin, Luca Viganò

  • Università di Ferrara, Italy

    Marcello D’Agostino

  • Department of Computer Science, King’s College, London, UK

    Dov M. Gabbay

  • Logical GmbH, Frankfurt am Main, Germany

    Seán Matthews

About the editors

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.

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

  • DOI: https://doi.org/10.1007/978-94-011-4040-9

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 2000

  • Hardcover ISBN: 978-0-7923-6237-1Published: 30 April 2000

  • Softcover ISBN: 978-94-010-5781-3Published: 08 October 2012

  • eBook ISBN: 978-94-011-4040-9Published: 06 December 2012

  • Series ISSN: 1386-2790

  • Edition Number: 1

  • Number of Pages: XI, 267

  • Topics: Logic, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation