𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Temporal Logics of Knowledge and their Applications in Security

✍ Scribed by Clare Dixon; Mari-Carmen Fernández Gago; Michael Fisher; Wiebe van der Hoek

Book ID
108126770
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
340 KB
Volume
186
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logics of knowledge and belief—applicati
Logics of knowledge and belief—applications
✍ Nicholas Measor 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 885 KB

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.

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verification—a case study
✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp