✦ LIBER ✦

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

✍ Scribed by Riccardo Rosati

Book ID: 110261177
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 103 KB
Volume: 8
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1008277218820

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Multi-modal nonmonotonic logics of minim

Multi-modal nonmonotonic logics of minimal knowledge

✍ Riccardo Rosati 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 529 KB

Logic For Reasoning About Knowledge

✍ Ewa Orlowska 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 719 KB

More on Bounding Introspection in Modal

More on Bounding Introspection in Modal Nonmonotonic Logics

✍ Xishun Zhao; Decheng Ding 📂 Article 📅 2000 🏛 Institute of Mathematics, Chinese Academy of Scien 🌐 English ⚖ 144 KB

Quantified epistemic logics for reasonin

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

✍ F. Belardinelli; A. Lomuscio 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 468 KB

Minimal Axiomatization in Modal Logic

✍ Fabio Bellissima; Saverio Cittadini 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 700 KB

## Abstract We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every

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