Similar Tracks
Павел Разумный//Об алгоритмической сложности множества теорем логики QGL с нефундированными выводами
Логика в Москве
Павел Разумный//Об алгоритмической сложности логики QGL, расширенной нефундированными выводами
Логика в Москве
Александр Грефенштейн//Инфинитарное исчисление для логики Кейслера–Хувера над дискретными простр-ми
Логика в Москве
Всё гораздо хуже, или Лучшее перемирие — это наступление | Максим Климов | Максим Шингаркин
Радио АВРОРА 10.0
Почему Гитлер ненавидел Евреев? Почему Гитлер преследовал евреев? Исторический разбор причин
Тайный Кодекс
Артем Пиманов//Семантика переходов как подход к проблеме детерминизма в логике ветвящегося времени
Логика в Москве
ОСЕЧКИН: "Не рискуйте!": почему исчез Путин, кого меняет ФСБ, чего хочет Навка, о чем молчит Песков
И Грянул Грэм
Иван Слюсарев//Модальное расширение двойственной классической паранепротиворечивой логики
Логика в Москве
Borja Sierra//Non-wellfounded master modality: from cut admissibility to cut elimination.
Логика в Москве