Despite the appearance of ‘obligation’ in their name, medieval obligational disputations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in medieval texts involve Respondent reasoning about his obligations within the context of the disputation, it is clear that some sort of deontic reasoning is involv...

Architectural specifications can express correctness requirements of concurrent systems at a high level without any reference to component functionality. Then proof obligations derived from such specifications can be discharged as model checking tasks in a suitable behavioral model where components are assigned their respective functionalities. This paper proposes such an approach. The architec...

The pressing need for empirically informed public policies aimed at understanding and promoting children's health has challenged environmental scientists to modify traditional research paradigms and reevaluate their roles and obligations toward research participants. Methodologic approaches to children's environmental health research raise ethical challenges for which federal regulations may pr...

Centre d’Etude pour un Développement Agricole Plus Autonome (CEDAPA) is a group of farmers in Brittany (western France) which proposes a mainly pasture-based milk and meat production system defined by a set of prohibitions and obligations. CEDAPA farmers claim that their production system causes less environmental damage than the current systems used by most other farmers. With respect to pesti...

This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a simple semantics for deadline obligations in terms of branching time models. We show that this notion of deadline obligation can be characterized in the branching time logic CTL. The defined operator obeys intuitive logi...