Notions of Instrumentality in Agency Logic
We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’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’s four elementary forms of action, the notion of forbearance and notions of instrumentality that make reference to an agent’s expectations.
KeywordsAction logic Agency Expectations Instrumentality
This work was funded by the WWTF project MA16-28.
- 4.Belnap, N., Perloff, M., Xu, M.: Facing the Future. Agents and Choices in our Indeterminist World. Oxford University Press, Oxford (2001)Google Scholar
- 14.von Wright, G.H.: The Varieties of Goodness. Routledge & Kegan Paul, London and Henley (1972). Fourth impressionGoogle Scholar
- 15.von Wright, G.H.: Norm and Action: A Logical Enquiry. Routledge & Kegan Paul, London and Henley (1977). Fourth impressionGoogle Scholar