In this paper we present the logic MP⊏ that explicates reasoning on the basis of prioritized obligations. Although formal criteria to handle prioritized obligations have been formulated in the literature, little attention has been paid to the actual (non-monotonic) reasoning that makes use of these criteria. The dynamic proof theory of MP⊏ fills this lacuna. This paper focuses on premise sets c...

a contractual relationship is commonly based on statements, expectations, acts and omissions out of which some will, and others will not, give rise to contractual obligations. to avoid uncertainty as to what is agreed, the contract parties often enter into a written contract that is supposed to express the final agreement between them and prevent the parties from relying on rights and obligatio...

Authorizations and obligations are keystones of data handling. On one hand there are ambiguous links between authorization and obligations. On the other hand a clear separation between both concepts is necessary to improve readability and to avoid inconsistencies. This position paper focuses on authorizations necessary to enforce obligations. Such authorizations are necessary to prevents overdi...

Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics ...

on 26 february 2007, the international court of justice issued it's judgment on the application of the convention on the prevention and punishment of the crime of genocide (bosnia and herzegovina v.serbia and montenegro). the court finds that serbia has not committed genocide, through its organs or persons whose acts engage its responsibility under customary international law, in violation...

the legal texts of wto consist of about 60 agreements, annexes, decisions and understandings containing so many obligations which should be observed and enforced by member states. enforcement of these numereous obligations requires effective dispute settlement mechanisms to guarantee the proper function of the system. in wto two main mechanisms have been designed for this purpose. the first is ...