Zolin Evgeny Evgenievich

Presentations in Math-Net.Ru

1. Axiomatic classes of models in modal logics
   E. Zolin
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 20, 2017 15:35   
2. Modal Logics Enriched with Transitive Closure Modality
   E. E. Zolin
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   March 24, 2015 18:30
3. Modal definability of first-order formulas and its application to knowledge bases
   E. E. Zolin
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   March 27, 2012 18:30
4. Graded Dependent Modal Logics
   Evgeny Zolin
   International workshop "Logical Models of Reasoning and Computation"
   February 2, 2012 16:15