Dreamers may envision our future, but it is the pragmatists who build it. Solve the right
problem in the right way, mankind moves forward. Solve the right problem in the wrong way …

Most juridical systems contain the principle that an act is only unlawful if the agent
conducting the act has a 'guilty mind'('mens rea'). Different law systems distinguish different …

We present a modal logic called LIA (logic of intention and attempt) in which we can reason
about intention dynamics and intentional action execution. By exploiting the expressive …

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 …

This paper presents a complete temporal STIT logic for reasoning about multi-agency. I
discuss its application for reasoning about norms, knowledge, autonomy, and other multi …

Dynamic deontic logics reduce normative assertions about explicit complex actions to
standard dynamic logic assertions about the relation between complex actions and violation …

The action language C+ of Giunchiglia, Lee, Lifschitz, McCain, and Turner is a formalism for
specifying and reasoning about the effects of actions and the persistence ('inertia') of facts …

We introduce a deontic action logic and its axiomatization. This logic has some useful
properties (soundness, completeness, compactness and decidability), extending the …

Publisher Summary Modal logic was born in philosophy, and has travelled widely; it retains
important links with the discipline. This chapter discusses the historical heartland of …

Within a STIT framework, this paper presents a logical study of the interaction between
'ought-to-do', and an epistemic notion of 'knowingly doing'. We start out with some motivating …