Ilya Shapirovsky Valentin B. Shehtman Chronological Future Modality in Minkowski Spacetime. 437-460 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#ShapirovskyS02