RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Dashkov Evgenij Vladimirovich

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 2

Number of views:
This page:402
Abstract pages:297
Full texts:44
References:42
E-mail:

http://www.mathnet.ru/eng/person57351
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. On the Positive Fragment of the Polymodal Provability Logic $\mathbf{GLP}$
E. V. Dashkov
Mat. Zametki, 91:3 (2012),  331–346

Presentations in Math-Net.Ru
1. On propositional logics representing the notion of provability in arithmetic
E. V. Dashkov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 13, 2012 18:30
2. On positive fragments of polymodal provability logic
Evgenij Dashkov
The eighth International onference "Advances in Modal Logic" (AiML 2010)
August 27, 2010 15:20   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018