Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/lifr/pers/shapirovsky.htm
Дата изменения: Wed Oct 4 13:56:50 2006
Дата индексирования: Tue Oct 2 11:51:18 2012
Кодировка:
Поисковые слова: п п п п п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п р п
Labo J.-V.Poncelet: I.Shapirovsky

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

  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

Publications:

  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)