Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Proof Analysis in Modal Logic

Sara Negri
Journal of Philosophical Logic
Vol. 34, No. 5/6 (Oct. - Dec., 2005), pp. 507-544
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226848
Page Count: 38
  • Download ($43.95)
  • Cite this Item
Proof Analysis in Modal Logic
Preview not available

Abstract

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

Page Thumbnails

  • Thumbnail: Page 
[507]
    [507]
  • Thumbnail: Page 
508
    508
  • Thumbnail: Page 
509
    509
  • Thumbnail: Page 
510
    510
  • Thumbnail: Page 
511
    511
  • Thumbnail: Page 
512
    512
  • Thumbnail: Page 
513
    513
  • Thumbnail: Page 
514
    514
  • Thumbnail: Page 
515
    515
  • Thumbnail: Page 
516
    516
  • Thumbnail: Page 
517
    517
  • Thumbnail: Page 
518
    518
  • Thumbnail: Page 
519
    519
  • Thumbnail: Page 
520
    520
  • Thumbnail: Page 
521
    521
  • Thumbnail: Page 
522
    522
  • Thumbnail: Page 
523
    523
  • Thumbnail: Page 
524
    524
  • Thumbnail: Page 
525
    525
  • Thumbnail: Page 
526
    526
  • Thumbnail: Page 
527
    527
  • Thumbnail: Page 
528
    528
  • Thumbnail: Page 
529
    529
  • Thumbnail: Page 
530
    530
  • Thumbnail: Page 
531
    531
  • Thumbnail: Page 
532
    532
  • Thumbnail: Page 
533
    533
  • Thumbnail: Page 
534
    534
  • Thumbnail: Page 
535
    535
  • Thumbnail: Page 
536
    536
  • Thumbnail: Page 
537
    537
  • Thumbnail: Page 
538
    538
  • Thumbnail: Page 
539
    539
  • Thumbnail: Page 
540
    540
  • Thumbnail: Page 
541
    541
  • Thumbnail: Page 
542
    542
  • Thumbnail: Page 
543
    543
  • Thumbnail: Page 
544
    544