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