Skip to main content
SpringerLink
Log in

Proof Theory of Modal Logic

  • Book
  • © 1996

Overview

Editors:
  1. Heinrich Wansing

    1. Institute of Logic and Philosophy of Science, University of Leipzig, 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 2)

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (15 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Standard Proof Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Contraction-Free Sequent Calculus for S4

      • Jörg Hudelmaier
      Pages 3-15

    3. Transfer of Sequent Calculus Strategies to Resolution for S4

      • Grigori Mints, Vladimir Orevkov, Tanel Tammet
      Pages 17-31

    4. A Linear Approach to Modal Proof Theory

      • Harold Schellinx
      Pages 33-43

    5. Refutations and Proofs in S4

      • Tomasz Skura
      Pages 45-51

  3. Extended Formalisms

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Relational Proof Systems for Modal Logics

      • Ewa Orlowska
      Pages 55-78

    3. The Display Problem

      • Nuel Belnap
      Pages 79-92

    4. Power and Weakness of the Modal Display Calculus

      • Marcus Kracht
      Pages 93-121

    5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics

      • Heinrich Wansing
      Pages 123-136

    6. On the Completeness of Classical Modal Display Logic

      • Rajeev Goré
      Pages 137-140

    7. Modal Sequents

      • Claudio Cerrato
      Pages 141-166

    8. Modal Functional Completeness

      • Kosta DoÅ¡en, Zoran Petrić
      Pages 167-211

    9. A Computational Interpretation of Modal Proofs

      • Simone Martini, Andrea Masini
      Pages 213-241

    10. Gabbay-Style Calculi

      • Szabolcs Mikulás
      Pages 243-252

  4. Translation-Based Proof Systems

    1. Front Matter

      Pages N3-N3
      Download chapter PDF

    2. Translating Graded Modalities into Predicate Logics

      • H. J. Ohlbach, R. Schmidt, U. Hustadt
      Pages 253-291

    3. From Classical to Normal Modal Logics

      • Olivier Gasquet, Andreas Herzig
      Pages 293-311

  5. Back Matter

    Pages 313-317
    Download chapter PDF
Back to top

Keywords

About this book

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Editors and Affiliations

  • Institute of Logic and Philosophy of Science, University of Leipzig, Germany

    Heinrich Wansing

Bibliographic Information

  • Book Title: Proof Theory of Modal Logic

  • Editors: Heinrich Wansing

  • Series Title: Applied Logic Series

  • DOI: https://doi.org/10.1007/978-94-017-2798-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1996

  • Hardcover ISBN: 978-0-7923-4120-8Published: 31 October 1996

  • Softcover ISBN: 978-90-481-4720-5Published: 09 December 2010

  • eBook ISBN: 978-94-017-2798-3Published: 29 June 2013

  • Series ISSN: 1386-2790

  • Edition Number: 1

  • Number of Pages: X, 318

  • Topics: Logic, Artificial Intelligence, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation