No contractile obligations

Co-national Obligations & Cosmopolitan Obligations towards Foreigners

On Obligations

Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the domain of data protection necessitates extending this notion with conditions that relate to the future. Obligations, in this sense, are concerned with commitments of the involved parties. At the moment of granting acces...

Proof Obligations Preserving Compilation

The objective of this work is to study the interaction between program verification and program compilation, and to show that the proof that a source program meets its specification can be reused to show that the corresponding compiled program meets the same specification. More concretely, we introduce a core imperative language, and a bytecode language for a stack-based abstract machine, and a...

Uptake by Conditional Obligations

Dialogues are generated in a joint process of offering and accepting moves. Depending on the dialogue genre, there is usually one participant who takes the initiative; other participants respond to the initiative. In this paper, we further investigate the process of uptake [1, 4]. Essentially, an initiative is ambivalent. The way in which an initiative is ‘taken up’, allows the responder to mod...

Obligations as Social Constructs

In this paper we formalize sanction-based obligations in the context of Searle’s notion of construction of social reality. In particular, we define obligations using a counts as conditional, Anderson’s reduction to alethic modal logic and Boella and Lesmo’s normative agent. Our analysis presents an alternative criticism to the weakening rule, which has already been criticized in the philosophic...