After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect
information, for which no commonly accepted semantics has been proposed yet. Rather …

This thesis investigates two main issues concerning the behavior of rational agents,
preference dynamics and agent diversity. We take up two questions left aside by von Wright …

In this chapter we relate epistemic logics with logics for strategic ability developed and
studied in computer science, artificial intelligence and multi-agent systems. We discuss …

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 …

The aim of this work is to propose a logical framework for the specification of cognitive
emotions that are based on counterfactual reasoning about agents' choices. The prototypical …

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 …

Andreas Herzig and François Schwarzentruber abstract. We provide proof-theoretic results
about deliberative STIT logic. First we present STIT logic for individual agents without time …

Formal verification of multi-agent systems is hard, both theoretically and in practice. In
particular, studies that use a single verification technique typically show limited efficiency …

In this article we provide a brief overview of the logic of action in philosophy, linguistics,
computer science, and artificial intelligence. The logic of action is the formal study of action …