On the Axiomatization of Elgesem’s Logic of Ability and Agency
Download:
by Guido Governatori, Antonino Rotolo, T Ea A
http://www.itee.uq.edu.au/~guido/Papers/_Modal/aal04.pdf
Add To MetaCart
Abstract:
We investigate the semantics of the modal logic of agency and ability (LAA) proposed by Elgesem [1]. LAA is a classical bi-modal logic with the following axioms:
Citations
| 18 | The Modal Logic of Agency – Elgesem - 1997 |
