RUS  ENG
Full version
VIDEO LIBRARY

August 12, 2021 14:30, 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
  1. 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  mathnet  crossref  isi

© Steklov Math. Inst. of RAS, 2024