Article Takedown/Update Request

This is an update request for the document Proof, computation and agency: logic at the crossroads by J. van Benthem, A. Gupta and R. Parikh

Your paper was deposited in NARCIS and appears online at http://www.loc.gov/mods/v3
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.