We present a dynamic deontic logic for specifying and reasoning about complex contracts.
The concepts that our contract logic CL captures are drawn from legal contracts, as we …

Deontic logic as a way of formally reasoning about norms, an important area in AI and law,
has traditionally concerned itself about formalising provisions of general statutes. Despite …

The work presented here investigates the combination of Kleene algebra with the synchrony
model of concurrency from Milner's SCCS calculus. The resulting algebraic structure is …

In this paper we are concerned with the analysis of normative conflicts, or the detection of
conflicting obligations, permissions and prohibitions in normative texts written in a …

We present a first step towards a framework for defining and manipulating normative
documents or contracts described as Contract-Oriented (CO) Diagrams. These diagrams …

Legal texts usually comprise many kinds of texts, such as contracts, patents and treaties.
These texts usually include a huge quantity of unstructured information written in natural …

CO diagrams have been introduced as a means to have a more visual representation of
normative texts and electronic contracts, where it is possible to represent the obligations …

Inspired by the recent problems in supply chains, we propose an approach to declarative
modeling of contracts between agents that will eventually support reasoning about …

We show that the fundamental legal structure of a well-written financial contract follows a
state-transition logic that can be formalized mathematically as a finite-state machine …

We are interested in using formal methods to analyse normative documents or contracts
such as terms of use, privacy policies, and service agreements. We begin by modelling such …