Lorini, Emiliano; Troquard, Nicolas; Herzig, Andreas; Broersen, Jan Grounding power on actions and mental attitudes. (English) Zbl 1285.68170 Log. J. IGPL 21, No. 3, 311-331 (2013). Summary: The main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent \(i\)’s power of achieving a certain result and an agent \(i\)’s power over another agent \(j\) (alias social power). MSC: 68T27 Logic in artificial intelligence 03B45 Modal logic (including the logic of norms) 68T42 Agent technology and artificial intelligence Keywords:modal logic; BDI; agency; social powers Software:SQEMA PDFBibTeX XMLCite \textit{E. Lorini} et al., Log. J. IGPL 21, No. 3, 311--331 (2013; Zbl 1285.68170) Full Text: DOI HAL