Modal Logics for Distributed Systems
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| EP33MOL | Z,ZK | 2 | 2+0s |
- Course guarantor:
- 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:
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: