13. IJCAI 1993: Chambéry, France - Executable Modal and Temporal Logics