An Introduction to Executable Modal and Temporal Logics.

Michael Fisher, Richard Owens

Browse the full IJCAI paper archive.