Minimal Semantics for Action Specifications in a Multi-modal Logic

Jan Broersen, Remco Feenstra, Roel Wieringa. Minimal Semantics for Action Specifications in a Multi-modal Logic. In FMLDO. pages 1-10, 1996. [doi]

Abstract

Abstract is missing.