Premium
Proof Theory for Modal Logic
Author(s) -
Negri Sara
Publication year - 2011
Publication title -
philosophy compass
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.973
H-Index - 25
ISSN - 1747-9991
DOI - 10.1111/j.1747-9991.2011.00418.x
Subject(s) - sequent , sequent calculus , natural deduction , modal , calculus (dental) , modal logic , structural proof theory , axiom , axiomatic system , proof theory , computer science , cut elimination theorem , presentation (obstetrics) , mathematics , proof calculus , algebra over a field , pure mathematics , programming language , mathematical proof , geometry , medicine , chemistry , dentistry , radiology , polymer chemistry
The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.