eng
рус
XIII конференция
Информация
Комитеты
Важные даты
Подача статей
Программа
О конференции
В. А. Смирнов
Биография
Библиография
Архив конференции
XII Конференция
XI Конференция
X Конференция
IX конференция
VIII конференция
VII конференция
VI конференция
V конференция
IV конференция
III конференция
II конференция
I конференция
Контакты
Архив X Конференция
Десятые Смирновские чтения по логике
Программа
Тезисы докладов
Фото
Видео
Программа
(PDF, 490.5 КБ)
Скачать
Тезисы докладов
(PDF, 1.7 МБ)
Скачать
Смотреть далее
Belikov A., Zaitsev D.
FDE and Its Relatives, Part II: Axiomatization
Valentin Shehtman
Modal predicate logics: questions and answers
Marek Nasieniewski
Modal logics defining Jaskowski's and Jaskowski-like discussive logics
Marek Nasieniewski
On some logics with modalised negations
Sergey Odintsov
On realizability semantics for independence friendly logic
Dmitry Zaitsev
FDE and Its Relatives
Непейвода Н. Н.
Формализация и деформализация как неотъемлемые части логики
Mark Reynolds
Continuously Branching Time
Наверх
