✦ LIBER ✦

Logics of knowledge and belief—applications

✍ Scribed by Nicholas Measor

Publisher: Springer Netherlands
Year: 1991
Tongue: English
Weight: 885 KB
Volume: 5
Category: Article
ISSN: 0269-2821
DOI: 10.1007/bf00129534

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we survey formal techniques for the study of reasoning about knowledge and belief, and consider their application in the areas of distributed computing and nonmonotonic reasoning.

📜 SIMILAR VOLUMES

Knowledge and true belief in Hintikka's

Knowledge and true belief in Hintikka's epistemic logic

✍ Michael E. Byrd 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 652 KB

Belief and Knowledge

✍ Lehrer, Keith 📂 Fiction 📅 0 🌐 English ⚖ 800 KB

Knowledge and Belief

✍ Malcolm, Norman 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

Common belief and common knowledge

✍ Spyros Vassilakis; Shmuel Zamir 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 591 KB

Refined common knowledge logics or logic

Refined common knowledge logics or logics of common information

✍ V.V. Rybakov 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 236 KB

Common Belief with the Logic of Individu

Common Belief with the Logic of Individual Belief

✍ Giacomo Bonanno; Klaus Nehring 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB 👁 1 views

The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief t