𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modular Sequent Calculi for Classical Modal Logics

✍ Scribed by Gilbert, David R.; Maffezioli, Paolo

Book ID
125369426
Publisher
Springer Netherlands
Year
2014
Tongue
English
Weight
754 KB
Volume
103
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Modal sequents for normal modal logics
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