Seminar for Mathematical Logics and Computer Science

At the joint meeting of the Seminar for Theoretical Computer Science and the Seminar for Mathematical Logics and Foundations of Mathematics, on Monday, September 9, 2024, at 17:15 hours, in lecture room 201 (PMF-MO), Teo Šestak will give a lecture

General frameworks of the logic of interpretability            (in Croatian)

Abstract: IL's interpretability logic is an extension of GL's provability logic. As we interpret GL formulas on Kripke frames, we interpret IL formulas on Veltman frames. It is known that logic IL is weakly complete, but not very complete, considering the class of all Veltman frames. Much like the analogous problem for GL, this is a consequence of Löb's axiom and the fact that it defines a class of transitive and inversely well-founded frames. This problem can be solved by the so-called general frames, defined similarly as in the case of Kripke frames, but with small modifications. If we consider that class of frames, then we also get strong completeness.

Notice: At the request of the head of the Seminar for Mathematical Logic and Foundations of Mathematics and the Seminar for Theoretical Computer Science, by decision of the Doctoral Study Council, starting from year 2024/2025 the two mentioned seminars are merged and the new seminar is called the Seminar for Mathematical Logics and Computer Science.