This document is unfortunately not available for download at the moment.
Juan Redmond , Olga Pombo Martins , Ángel Nepomuceno Fernández (2016) Epistemology, knowledge and the impact of interaction, Dordrecht, Springer.
On the computational meaning of axioms
Alberto Naibo , Mattia Petrolo, Thomas Seiller
pp. 141-184
Not implemented yet !