Dashkov Evgenij Vladimirovich

Publications in Math-Net.Ru

1. On the Positive Fragment of the Polymodal Provability Logic $\mathbf{GLP}$
   
   Mat. Zametki, 91:3 (2012),  331–346