✦ LIBER ✦

Reasoning about common knowledge with infinitely many agents

✍ Scribed by Joseph Y. Halpern; Richard A. Shore

Book ID: 113641508
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 485 KB
Volume: 191
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.01.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about Time, Action and Knowled

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

✍ Ji Ruan 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 139 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

Towards a refinement theory that support

Towards a refinement theory that supports reasoning about knowledge and time for multiple agents

✍ Kai Engelhardt 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 30 KB

We report on some progress made in a project that has as its main goal to devise a distributed system refinement calculus with an assertion language that can express epistemic as well as temporal notions.

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views