The next meeting of the English-Speaking Colloquiu
Ludmila Ponkratova will give a talk with the title
The Concept of Model in Propositional Modal Logic
I am going to present basic concepts of propositional modal logic, namely the concepts of possible world, accessibility relation, truth in a model, and validity. On this basis, I will explain semantics of some modal expressions like ‘necessarily’ and ‘possibly’.
Everybody is welcome!