Thursday, October, 16th
Session I.
Room 24. Moderator: Ivan Mikirtumov
10:00–10:45 Henry Prakken. Rational agency: an argumentation perspective.
10:45–11:30 Elena Lisanyuk. Argumentation and the rule-following.
11:30–12:15 Vitalij Dolgorukov. Context Dependence: a Game-Theoretic Approach.
12:15–13:00 Mikhail Rybakov, Ekaterina Kotikova. Kripke incompleteness of first-order calculi with temporal modalities of CTL and ATL.
Session II.
Room 24. Moderator: Elena Lisanyuk
14:00–14:45 Ivan Mikirtumov. The procedural understanding of meaning and compositionality.
14:45–15:30 Ahti-Veikko Pietarinen. Agency in a pragmatist theory of games and action.
15:30–16:15 Nikita Fatiev. Problem of free will in the context of logical modalities.
16:15–17:00 Vladimir Stepanov. Logical Model of Agents’ Self-Interaction.
17:00–18:00 Walter Carnielli. Agents building semantics: the Possible-Translations Semantics and the Society Semantics.
Friday, October, 17th
Session III. (in Russian)
Room 24. Moderator: Ivan Mikirtumov
10:00–10:45 Konstantin Shishov. “Tractatus Logico-Philosophicus” and its role in the problematisation of rational agent.
10:45–11:30 Konstantin Frolov. Correction of the fallacious reasoning in the opaque contexts.
11:30–12:15 Ildar Bajmuratov. Formalization of the dependence relation of quantifiers in the classical predicate logic.
12:15–13:00 Alexandra Pavlova. Actions in IF logic and dialogue logic.
Saint-Petersburg State University, Institute of Philosophy. Saint-Petersburg, Mendeleevskaya liniya 5.
+7-921-9438837 (Ivan Mikirtumov), LARA2014spb@gmail.com