✦ LIBER ✦

Modal logics, description logics and arithmetic reasoning

✍ Scribed by Hans Jürgen Ohlbach; Jana Koehler

Book ID: 108307058
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 250 KB
Volume: 109
Category: Article
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(99)00011-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about Minimal Knowledge in Non

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

✍ Riccardo Rosati 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 103 KB

Expressive reasoning with horn rules and

Expressive reasoning with horn rules and fuzzy description logics

✍ Theofilos Mailis; Giorgos Stoilos; Giorgos Stamou 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 699 KB

Descriptions, essences and quantified mo

Descriptions, essences and quantified modal logic

✍ John Woods 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 929 KB

Products of Modal Logics. Part 3: Produc

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

✍ Dov Gabbay; Valentin Shehtman 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 945 KB

Negation-Free Modal Logics

✍ George F. Schumm; Roy Edelstein 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 521 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