Graduate student, from November 2003


Moscow State University, Department of mechanics and mathematics
Institute for Information Transmission Problems, Ph.D student (Supervisor: prof. Valentin B. Shehtman)

Research interests:

Non-classical logics, logic in computer science.


  1. Computer science applications of modal logic, 5-9 September 2005, Independent University of Moscow
  2. Advances in Modal Logic 2004, 9 - 11 September 2004, University of Manchester, UK
  3. Moscow-Vienna workshop on Logic and Computation, 31 may-1 june 2004, Steklov Mathematical Institute, Moscow
  4. Advances in Modal Logic 2002, 30 September - 2 October 2002, Institut de recheche en informatique de Toulouse


  1. On PSPACE-decidability in Transitive Modal Logics. In: Advances in Modal Logic, Volume 5. R. Schmidt et al. (eds.). King's College Publications, 2005, 269-287
  2. Modal Logics of Regions and Minkowski Spacetime. J Logic Computation 2005 15: 559-574 (with V.Shehtman)
  3. PSPACE decision procedure for some transitive modal logics. Advances in Modal Logic (2004), Department of Computer Science, University of Manchester, 331-343.
  4. Chronological future modality in Minkowski spacetime. Advances in Modal Logic, Volume 4, 437-459. King's College Publications, 2003. (with V. Shehtman)