Modal Logics for Distributed Systems

Lecturer:

Olga Štěpánková (gar.)

Tutor:

Olga Štěpánková (gar.)

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 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Fri
Thu	roomKN:E-218 Štěpánková O. 12:45–14:15 (lecture parallel1) Karlovo nám. Cvičebna
Fri

Time-table for summer semester 2011/2012:

Time-table is not available yet

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)