Всемирный день логики

Russian - Brazilian Colloquium on Logical Pluralism "World Logic Day 2025"

Мероприятие пройдет в гибридном формате в ауд. А-401 c трансляцией в Zoom.

Программа

January 15th, 2025

• 9:00 —9.45  / Campinas time, 15.00 – 15.45 / Moscow time

Rodolfo Biraben (CLE), "On the Dual of Intuitionistic Negation"

• 9.45  — 10.30  / Campinas time, 15.45  – 16.30 /  Moscow time

Mikhail Rybakov (LLFP),   “Algorithmic Properties of Modal Logics with a Single Unary Predicate”

• 10.30 — 11.00 / Campinas time, 16.30 – 17.00 / Moscow time

Ivan Pyltsyn (LLFP),  "Generalization of the Translation of Intuitionistic logic into Modal Logic to the Infinitary Extension"

• 11.00 — 11.30   / Campinas time, 17.00 – 17.30   / Moscow time

Rafael Testa (CLE),  "Paraconsistent Belief Revision"

• 11.30 — 12.00 / Campinas time, 17.30 - 18.00 / Moscow time

Ivan Sobolev (LLFP),  “Artemov’s Syntactic Logic and Utterance Felicity”