✦ LIBER ✦

Term-Modal Logics

✍ Scribed by Melvin Fitting; Lars Thalmann; Andrei Voronkov

Book ID: 110324732
Publisher: Springer Netherlands
Year: 2001
Tongue: English
Weight: 358 KB
Volume: 69
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1013842612702

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

Quantified Modal Logic With Rigid Terms

✍ Giovanna Corsi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 511 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

Modal logics, description logics and ari

Modal logics, description logics and arithmetic reasoning

✍ Hans Jürgen Ohlbach; Jana Koehler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 250 KB

Standard Gödel Modal Logics

✍ Xavier Caicedo; Ricardo O. Rodriguez 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 347 KB