Constructive Knowledge – 4: : Epistemic Logics and the Problem of Justification
When: Wednesday 15 November 2017 beginning at 10 A.M.
Where: Institute of Philosophy RAS, room 416 (4th floor)
What:
This is the 4th edition of “Constructive Knowledge”. This time a special emphasis is made on Epistemic Logics and Justification. There are two new speakers from the outside of the project team: Tudor Protopopescu from the Higher School of Economics and Stepan Kuznetzov from the Mathematical (Steklov) Institute of RAS.
NEW! Full video (not edited yet, sorry for some inconvenineces): Morning Session and Afternoon Session.
Program (the book of abstracts is downloadable via the link below the schedule):
10:00 – 10:40
ANDREI RODIN (IP RAS)
Jusification Procedures in Knowledge Representation (slides)
10:40 – 11:10
SERGEI KOVALYOV (ICS RAS)
Knowledge Management for Digital Design of Novel Materials (slides)
Coffee
11:30 – 12:10
TUDOR PROTOPOPESCU (HSE)
Intuitionistic Epistemic Logic (slides)
12:10 – 12:50
DANYA ROGOZIN (MSU)
Modal Type Theory based on the Intuitionistic Epistemic Logic (slides)
Coffee
13:10 – 13:50
STEPAN KUZNETZOV (MI RAS)
Iteration in Residuated Structures (slides)
13:50 – 14:30
General Discussion
14:30 – 15:30: LUNCH
15:30 – 16:10
KONSTANTIN SHISHOV (MSU)
Representation of Algebraic Structures of QMV-algebra and qMV-algebra in Relational Semantics
(has been cancelled)
16:10 – 16:50
VLADIMIR VASYUKOV (IP RAS)
Behaviorality as Contextuality: Does Non-classicality Matter?
16:50 – 17:30
Concluding Remarks