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.
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.
For more information, see
https://www.rwth-aachen.de/global/show_document.asp?id=aaaaaaaaabcmpnh&download=1.
Please note that this newsitem has been archived, and may contain outdated information or links.