Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic

Frank Dignum, Ruurd Kuiper. Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic. Int. J. Electronic Commerce, 3(2):67-85, 1998. [doi]

Abstract

Abstract is missing.