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

Modal Logics for Distributed Systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
XP33MOL ZK 4 2P+0S Czech
Lecturer:
Olga Štěpánková (guarantor)
Tutor:
Olga Štěpánková (guarantor)
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:
Time-table for winter semester 2019/2020:
Time-table is not available yet
Time-table for summer semester 2019/2020:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-09-19
For updated information see http://bilakniha.cvut.cz/en/predmet11562804.html