Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

Philippe Balbiani, Jan Broersen, Julien Brunel. Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electronic Notes in Theoretical Computer Science, 231:69-89, 2009. [doi]

Abstract

Abstract is missing.