Кафедра математической логики и теории алгоритмов мехмата МГУ

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

UPD: The forthcoming talk on February 10th (Monday) will be given by Prof. Aleksandar Perović (University of Belgrade, https://www.scopus.com/authid/detail.uri?authorId=23987185400), who is another co-author of the work.

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fullwww.group-telegram.com/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)

The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.

The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК

Scopus

Scopus preview -
Perović, Aleksandar - Author details - Scopus

TEST 02 - Elsevier's Scopus, the largest abstract and citation database of peer-reviewed literature. Search and access research from the science, technology, medicine, social sciences and arts and humanities fields.

www.group-telegram.com/us/msu_mathlog.com/117

720 viewsedited  Feb 6 at 14:23

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

UPD: The forthcoming talk on February 10th (Monday) will be given by Prof. Aleksandar Perović (University of Belgrade, https://www.scopus.com/authid/detail.uri?authorId=23987185400), who is another co-author of the work.

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)
10.02.2025 Angelina Ilić-Stepić (Matematički institut SANU, Beograd, Srbija, https://www.mi.sanu.ac.rs/novi_sajt/members/fullwww.group-telegram.com/angelina.php): Beyond the class of locally finite height Kripke models for provability logic (online)

The paper [K. Sasaki & Y. Tanaka 2024: An omega-rule for the logic of provability and its models, Studia Logica 112] presents the propositional logic NGL, an extension of the provability logic GL with an infinitary inference rule, and proves simple completeness theorem w.r.t. the class LF of locally finite height Kripke models. We provide a strongly complete modification of NGL and a family of Barwise-complete infinitary logics that correspond to specific subclasses of the class of all conversely well-founded strict posets that are proper superclasses of LF.

The talk is based on joint work with Zoran Ognjanović and Aleksandar Perović.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК

BY Кафедра математической логики и теории алгоритмов мехмата МГУ