Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19 - 20 November 2018, The Many Faces of Logic. A Workshop with Johan van Benthem

Date: 19 - 20 November 2018
Location: RWTH Aachen University, Germany
Logical dynamics pursues the central idea that actions and events that produce information and change agents' states are first-class citizens in the domain of logic, with a structure of their own
that fits seamlessly with that of traditional notions such as proposition, proof, or theory. We will discuss some history of this move from statics to dynamics, show how it connects logicwith other disciplines in new ways, give a taste of recent results, and convey some new philosophical, mathematical and computational
issues that arise in this perspective.

Please note that this newsitem has been archived, and may contain outdated information or links.