This article reviews legal applications of logic, with a particularly marked concern for logical
models of legal argument. We argue that the law is a rich test bed and important application …

In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

Stit semantics grows out of a modal tradition in the logic of action that concentrates on an
operator representing the agency of an individual in seeing to it that some state of affairs …

The aim of this article is to provide a logical analysis of the concept of responsibility
attribution; that is, how agents ascribe responsibility about the consequences of actions …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

When designing or analyzing multi-agent systems, a fundamental problem is responsibility
ascription: to specify which agents are responsible for the joint outcome of their behaviors …

In this paper we propose a method for modeling social influence within the STIT approach to
action. Our proposal consists in extending the STIT language with special operators that …

This paper studies intentional action in stit logic. The formal logic study of intentional action
appears to be new, since most logical studies of intention concern intention as a static …

This work provides proof-search algorithms and automated counter-model extraction for a
class of STIT logics. With this, we answer an open problem concerning syntactic decision …