Modal Logics for Distributed Systems
The course is not on the list Without time-table
Code | Completion | Credits | Range | Language |
---|---|---|---|---|
XP33MOL | ZK | 4 | 2P+0S | Czech |
- Garant předmětu:
- Lecturer:
- Tutor:
- Supervisor:
- Department of Cybernetics
- Synopsis:
-
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.
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- Doctoral studies, daily studies (compulsory elective course)
- Doctoral studies, combined studies (compulsory elective course)
- Doctoral studies, structured daily studies (compulsory elective course)
- Doctoral studies, structured combined studies (compulsory elective course)