Constructive agents

Brouwer's ideas of construction, proof, and inquiry in mathematics are more widely applicable. On a well-known philosophical view, intuitionistic logic is a general account of meaning and reasoning for natural language and epistemology. In this brief discussion piece, I go one step further, and discuss how intuitionistic semantics fits with information update and belief revision in agency. In the process, I define a number of new logical systems that give rise to several open problems.