Proof Theory of Modal Logic

  • Heinrich Wansing

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Standard Proof Systems

    1. Front Matter
      Pages 1-1
    2. Jörg Hudelmaier
      Pages 3-15
    3. Grigori Mints, Vladimir Orevkov, Tanel Tammet
      Pages 17-31
    4. Harold Schellinx
      Pages 33-43
    5. Tomasz Skura
      Pages 45-51
  3. Extended Formalisms

    1. Front Matter
      Pages 53-53
    2. Nuel Belnap
      Pages 79-92
    3. Claudio Cerrato
      Pages 141-166
    4. Kosta Došen, Zoran Petrić
      Pages 167-211
    5. Simone Martini, Andrea Masini
      Pages 213-241
    6. Szabolcs Mikulás
      Pages 243-252
  4. Translation-Based Proof Systems

    1. Front Matter
      Pages N3-N3
    2. H. J. Ohlbach, R. Schmidt, U. Hustadt
      Pages 253-291
    3. Olivier Gasquet, Andreas Herzig
      Pages 293-311
  5. Back Matter
    Pages 313-317

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.


automated deduction knowledge knowledge representation logic modal logic predicate logic proof proof theory sequent calculus

Editors and affiliations

  • Heinrich Wansing
    • 1
  1. 1.Institute of Logic and Philosophy of ScienceUniversity of LeipzigGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1996
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4720-5
  • Online ISBN 978-94-017-2798-3
  • Series Print ISSN 1386-2790
  • Buy this book on publisher's site