A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Abstract. 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-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics as the basis for logics for representing multi-agent system concepts.

• Type: Conference
• Year: 2008
• Where: DALT
• Authors: Jan Broersen
• Keywords: Complete Temporal Stit, DALT 2008, Intelligent Agents, Multi-agent Concepts, STIT Formalisms