Modal Logics for Distributed Systems

B232 - Summer 23/24
You don't have access to the course
B181 - Winter 18/19

Modal Logics for Distributed Systems - XP33MOL

Student survey results
Credits 4
Semesters Winter
Completion Exam
Language of teaching Czech
Extent of teaching 2P+0S
Annotation
A model of knowledge in distributed environment and "muddy children puzzle".
Introduction of modal operators and their semantics based on possible-worlds
model. Properties of knowledge. Correspondence between axioms and properties
of possibility relation in the model. Knowledge in MAS. Common knowledge and
agreement.


Study targets
No data.
Course outlines
No data.
Exercises outlines
No data.
Literature
Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995
Requirements
No data.