Video library: S. I. Bashmakov, Finite model property and unification for temporal logic of knowledge $LTK.sl

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

August 12, 2021 14:30–15:15, Теория вычислимости и математическая логика, Sochi

Finite model property and unification for temporal logic of knowledge $LTK.sl_U$

S. I. Bashmakov

Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk

References

Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, Zhurn. SFU. Ser. Matem. i fiz., 11:1 (2018), 3–9