Shapirovsky Ilya Borisovich

Presentations in Math-Net.Ru

1. Filtrations of some pretransitive logics
   I. B. Shapirovsky
   Seminars "Proof Theory" and "Logic Online Seminar"
   April 22, 2024 18:30   
2. On a sufficient condition for the finite approximability of modal logics
   I. B. Shapirovskii
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   October 14, 2014 18:30
3. Hamming metric and products of modal logics
   I. B. Shapirovskii
   Symposium on logic and computability "Logic and Computation Day"
   June 7, 2013 16:15
4. Modal logics of relations induced by Hamming distance
   I. B. Shapirovskii
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   March 12, 2013 18:30
5. Simulation of two dimensions in unimodal logics
   Ilya Shapirovsky
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 24, 2010 15:35