Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Formal Philosophy 2020
Конференция
Охват:
Международная
Даты проведения:
16-18 ноября 2020
Место проведения:
Москва, Russia
Организатор:
НИУ ВШЭ, Лаборатория логики, лингвистики и формальной философии
Веб-сайт:
https://sites.google.com/view/2020-formal-philosophy/home
Все конференции этой группы
Добавил в систему:
Беликов Александр Александрович
Доклады:
2020
Cut-free hypersequent calculus for a non-contingency S5 logic
(Устный)
Автор:
Petrukhin Yaroslav
2020
Information, Conjunction, Disjunction, Entailment and Infectious Logics
(Устный)
Автор:
Belikov Alexander