The thesis investigates logical and computational aspects of normative reasoning using
deontic logic and theorem provers. This interdisciplinary study draws inspiration from logic …

We propose new denotational (trace-based) and operational semantics for parallel Sagas
with interruption, prove the correspondence between the two and assess their merits wrt …

Deontic Logic was introduced in the first half of the last century to formalize aspects of legal
reasoning. Since then a lot of effort has gone into improving the formalism (s) and widening …

In this paper we introduce a prioritized default logic. We build this logic modularly from
Standard Deontic Logic by the addition of default rules and priorities among them. Our main …

In this paper, we present a characterization of a propositional deontic temporal logic into μ-
calculus. This logic has been proposed to specify and reason about fault tolerant systems …

In this article we describe a first-order extension of the deontic logic introduced in [1]. The
main useful and interesting characteristic of this extended logic is that it not only provides the …

In this paper we investigate formal mechanisms to allow designers to decompose
specifications (stated in a given logic) into several components. The basic ideas come from …

In this paper we investigate further the tableaux system for a deontic action logic we
presented in previous work. This tableaux system uses atoms (of a given boolean algebra of …

In this paper, we investigate formal mechanisms to enable designers to decompose
specifications (stated in a given logic) into several interacting components in such a way that …