CTU FEE Moodle
Modal Logics for Distributed Systems
B232 - Summer 23/24
This course is not present in Moodle. You can visit its homepage by clicking the "Course page (outside Moodle)" button on the right (if available).
Modal Logics for Distributed Systems - XP33MOL
| 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.
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.