Follow
Евгений Владимирович Дашков
Евгений Владимирович Дашков
Московский физико-технический институт, каафедра дискретной математики
Verified email at mipt.ru - Homepage
Title
Cited by
Cited by
Year
On the positive fragment of the polymodal provability logic GLP
EV Dashkov
Mathematical Notes 91, 318-333, 2012
442012
Arithmetical completeness of the intuitionistic logic of proofs
E Dashkov
Journal of Logic and Computation 21 (4), 665-682, 2009
132009
О позитивном фрагменте полимодальной логики доказуемости
ЕВ Дашков
Математические заметки 91 (3), 331-346, 2012
52012
Intuitionistic logic of proofs
E Dashkov
Logic Group preprint series 269, 1-27, 2008
22008
On positive fragments of polymodal provability logic
E Dashkov
PCC 2010 International Workshop, 1, 2010
12010
О пропозициональных исчислениях, представляющих понятие доказуемости
ЕВ Дашков
Московский государственный университет им. МВ Ломоносова (МГУ). Механико …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–6