Logic, Mathematics, and General Agency
Johan van Benthem

Abstract:
We examine the practice and foundations of mathematics as a form of
general rational agency, using recent perspectives from the dynamic
logic of information-driven agency.

Keywords: mathematics, dynamic logic, information, proof, belief revision