Виды деятельности

Фильтр
выступление с приглашенным докладом/лекцией

Arbitrary natural numbers in the framework of Carnapian quantified modal logic

Станислав Олегович Сперанский (Приглашенный докладчик)

23 мая 201926 мая 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

Dosen-style and Routley-style semantics for negation in a quantified setting

Станислав Олегович Сперанский (Приглашенный докладчик)

28 ноя 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

A modal framework for reasoning about arbitrary natural numbers

Станислав Олегович Сперанский (Основной докладчик)

4 дек 20198 дек 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

On negation as a modal operator in a quantified setting

Станислав Олегович Сперанский (Приглашенный докладчик)

5 ноя 20198 ноя 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

On truth values and logical constants in Belnap–Dunn modal logics

Станислав Олегович Сперанский (Приглашенный докладчик)

24 дек 201825 дек 2018

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

On the computational aspects of Kripke’s theory of truth

Станислав Олегович Сперанский (Приглашенный докладчик)

17 окт 201720 окт 2017

Деятельность: выступлениевыступление с приглашенным докладом/лекцией