Ilya SHAPIROVSKY
Graduate student, from November 2003
Education:
- 2003
- Moscow State University, Department of mechanics and mathematics
- 2003--now
- Institute for Information Transmission Problems, Ph.D student
(Supervisor: prof. Valentin B. Shehtman)
Research interests:
Non-classical logics, logic in computer science.
Conferences
- Computer science applications of modal logic, 5-9 September
2005, Independent University of Moscow
- Advances in Modal Logic 2004, 9 - 11 September 2004, University of
Manchester, UK
- Moscow-Vienna workshop on Logic and Computation, 31 may-1 june 2004,
Steklov Mathematical Institute, Moscow
- Advances in Modal Logic 2002, 30 September - 2 October 2002,
Institut de recheche en
informatique de Toulouse
Publications:
- 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
- Modal Logics of Regions and Minkowski Spacetime. J Logic Computation
2005 15: 559-574 (with V.Shehtman)
- PSPACE decision procedure for some transitive modal logics. Advances in
Modal Logic (2004), Department of Computer Science, University of
Manchester, 331-343.
- Chronological future modality in
Minkowski spacetime.
Advances in Modal Logic, Volume 4, 437-459. King's College
Publications, 2003. (with V.
Shehtman)