Logic Oughtn't be Normative

The normative status of logic

The Logic of Normative Systems

Logical architectures combine several logics into a more complex logical system. In this paper we study logical architectures using input/output operations corresponding to the functionality of logical components. We propose a logic of normative systems, based on an architecture of counts-as conditionals, institutional constraints, obligations and permissions. For counts-as conditionals and ins...

Normative Time-Bounded Service Logic

Traditional systems of temporal and action logics lack of an explicit representation of some desirable features in service-oriented environments, such as time and norms. In this paper a proposal for a logic which allows service-oriented environments to be formally specified is presented. This logic has been employed for formalizing normative time-bounded services in the THOMAS architecture.

Normative Conflicts and Deontic Logic

On the Logic of Normative Systems

We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branchingtime temporal logic CTL, in which the path quantifiers A (“on all paths. . . ”) and E (“on some path. . . ”) are replaced by the indexed deontic operators Oη and Pη, where for example Oηφ means “φ is obligatory in the context of normative system η”. Afte...