Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2018/2019

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
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:
Data valid to 2019-03-20
For updated information see http://bilakniha.cvut.cz/en/predmet11750804.html