✦ LIBER ✦

Preferential Reasoning for Modal Logics

✍ Scribed by Katarina Britz; Thomas Meyer; Ivan Varzinczak

Book ID: 113602755
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 269 KB
Volume: 278
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.10.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Reasoning about Minimal Knowledge in Non

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

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

A modal logic for subjective default rea

A modal logic for subjective default reasoning

✍ Shai Ben-David; Rachel Ben-Eliyahu-Zohary 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 168 KB

In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If α, then normally β". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese

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

A new modal logic for reasoning about sp

A new modal logic for reasoning about space: spatial propositional neighborhood logic

✍ Antonio Morales; Isabel Navarrete; Guido Sciavicco 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 663 KB

TEMPORAL REASONING WITH THE MODAL LOGIC

TEMPORAL REASONING WITH THE MODAL LOGIC Z

✍ David E. Leasure 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 999 KB