✦ 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
DOI: 10.1007/s11225-010-9230-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Modal Logic of Gödel Sentences

✍ Hirohiko Kushida 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 356 KB

On standard models of fuzzy modal logics

✍ Ying Ming-Sheng 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 549 KB

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

n-Fold implicative basic logic is Gödel

n-Fold implicative basic logic is Gödel logic

✍ Esko Turunen; Nganteu Tchikapa; Celestin Lele 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 240 KB