Minimal Semantics for Action Specifications in a Multi-modal Logic. - Jan M. Broersen; Remco Feenstra; Roel J. Wieringa (FMLDO, 1996)