@inproceedings{2573fc3613864c0aabc68e5b303efb69,
title = "Notions of instrumentality in agency logic",
abstract = "We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright{\textquoteright}s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, including Von Wright{\textquoteright}s four elementary forms of action, the notion of forbearance and notions of instrumentality that make reference to an agent{\textquoteright}s expectations.",
keywords = "Action logic, Agency, Expectations, Instrumentality",
author = "{van Berkel}, Kees and Matteo Pascucci",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 21st International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2018 ; Conference date: 29-10-2018 Through 02-11-2018",
year = "2018",
doi = "10.1007/978-3-030-03098-8_25",
language = "English",
isbn = "9783030030971",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "403--419",
editor = "Nir Oren and Yuko Sakurai and Itsuki Noda and {Cao Son}, Tran and Tim Miller and Savarimuthu, {Bastin Tony}",
booktitle = "PRIMA 2018",
}