dblp.uni-trier.dewww.uni-trier.de

Ilya Shapirovsky

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEIlya Shapirovsky: PSPACE-decidability of Japaridze's polymodal logic. Advances in Modal Logic 2008: 289-304
2006
5EEIlya Shapirovsky: Downward-directed transitive frames with universal relations. Advances in Modal Logic 2006: 413-428
4EEPhilippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman: Every world can see a Sahlqvist world. Advances in Modal Logic 2006: 69-85
2005
3EEIlya Shapirovsky, Valentin B. Shehtman: Modal Logics of Regions and Minkowski Spacetime. J. Log. Comput. 15(4): 559-574 (2005)
2004
2EEIlya Shapirovsky: On PSPACE-decidability in Transitive Modal Logic. Advances in Modal Logic 2004: 269-287
2002
1 Ilya Shapirovsky, Valentin B. Shehtman: Chronological Future Modality in Minkowski Spacetime. Advances in Modal Logic 2002: 437-460

Coauthor Index

1Philippe Balbiani [4]
2Valentin B. Shehtman [1] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)