𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Standard Gödel Modal Logics

✍ Scribed by Xavier Caicedo; Ricardo O. Rodriguez


Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
347 KB
Volume
94
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Connected modal logics
✍ Guram Bezhanishvili; David Gabelaia 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 528 KB
Fuzzy Modal Logics
✍ A. M. Mironov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 157 KB
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