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 …

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 …

Reasoning about capabilities, strategies and knowledge is important in the analysis of
multiagent systems. Alternating-time Temporal Epistemic Logic (ATEL) was designed with …

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 …

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 …

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 …

Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of
philosophy of action. It is the logic of constructions of the form 'agent a sees to it that φ'. We …

If modal logics for coalitions need to be applied, one must know how to translate coalition
power into agents' actions. To these days, the connection between coalition power and the …

The article introduces a ceteris paribus modal logic, called CP, interpreted on the
equivalence classes induced by finite sets of propositional atoms. This logic is studied and …

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 …