Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

Main publications:

• 2009 Quantification in Nonclassical Logic, Volume 1 Gabbay Dov M., Skvortsov Dmitrij, Shehtman Valentin izdatelstvo Elsevier Science BV (po box 211, Amsterdam, Netherlands, 1000 AE) , ISBN 9780444520128, 640 s.

Publications in Math-Net.Ru

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• ISTINA

Organisations:

• Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow
• Lomonosov Moscow State University
• All-Russian Institute for Scientific and Technical Information of Russian Academy of Sciences, Moscow
• Moscow Mathematical Society