2008 | ||
---|---|---|
6 | EE | Ilya Shapirovsky: PSPACE-decidability of Japaridze's polymodal logic. Advances in Modal Logic 2008: 289-304 |
2006 | ||
5 | EE | Ilya Shapirovsky: Downward-directed transitive frames with universal relations. Advances in Modal Logic 2006: 413-428 |
4 | EE | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman: Every world can see a Sahlqvist world. Advances in Modal Logic 2006: 69-85 |
2005 | ||
3 | EE | Ilya Shapirovsky, Valentin B. Shehtman: Modal Logics of Regions and Minkowski Spacetime. J. Log. Comput. 15(4): 559-574 (2005) |
2004 | ||
2 | EE | Ilya 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 |
1 | Philippe Balbiani | [4] |
2 | Valentin B. Shehtman | [1] [3] [4] |