Executable modal and temporal logics IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / - Fisher, Michael,; Owens, Richard, (Springer,)