RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 24, 2015 18:30, Moscow, Steklov Mathematical Institute


Modal Logics Enriched with Transitive Closure Modality

E. E. Zolin


© Steklov Math. Inst. of RAS, 2024