RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
February 10, 2025 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + online


Beyond the class of locally finite height Kripke models for provability logic

Angelina Ilić-Stepića, Z. Ognjanovića, Aleksandar Perovićb

a Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade
b University of Belgrade



Abstract: 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ć.

Language: English


© Steklov Math. Inst. of RAS, 2025