✦ LIBER ✦

A modal logic internalizing normal proofs

✍ Scribed by Sungwoo Park; Hyeonseung Im

Book ID: 113641931
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 234 KB
Volume: 209
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2010.09.010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A modal provability logic of explicit an

A modal provability logic of explicit and implicit proofs

✍ Evan Goris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 830 KB

Proof Theory for Modal Logic

✍ Sara Negri 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

Proof Analysis in Modal Logic

✍ Sara Negri 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 362 KB

A Companion to Philosophical Logic || Pr

A Companion to Philosophical Logic || Proofs and Expressiveness in Alethic Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 146 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Modal sequents for normal modal logics

✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest