Temporal Deontic Defeasible Logic: An Analytical Approach

Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these extensions can be criticized in two respects: first, a synthetical approach with which all temporal and substantial elements of the norm are represented within the same sentence was adopted instead of an analytical approach in which one sentence represents the substantive content of the norm, and other sentences specify its temporal features. Second, no semantics was provided. This paper aims to provide a Temporal Deontic Defeasible Logic adopting an analytical approach and an argumentation semantics.