Title: Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993