BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/103
95/19---20-November-2018-The-Many-Faces-of-Logic-A
-Workshop-with-Johan-van-Benthem
DTSTAMP:20181212T131403
SUMMARY:The Many Faces of Logic. A Workshop with J
ohan van Benthem
DTSTART;VALUE=DATE:20181119
DTEND;VALUE=DATE:20181120
LOCATION:RWTH Aachen University, Germany
DESCRIPTION:Logical dynamics pursues the central i
dea that actions and events that produce informati
on and change agents' states are first-class citiz
ens in the domain of logic, with a structure of th
eir own that fits seamlessly with that of traditi
onal notions such as proposition, proof, or theory
. We will discuss some history of this move from s
tatics to dynamics, show how it connects logicwith
other disciplines in new ways, give a taste of re
cent results, and convey some new philosophical, m
athematical and computational issues that arise i
n this perspective.
X-ALT-DESC;FMTTYPE=text/html:\n Logical dynamics
pursues the central idea that actions and events t
hat produce information and change agents' states
are first-class citizens in the domain of logic, w
ith a structure of their own

\n that fits seam
lessly with that of traditional notions such as pr
oposition, proof, or theory. We will discuss some
history of this move from statics to dynamics, sho
w how it connects logicwith other disciplines in n
ew ways, give a taste of recent results, and conve
y some new philosophical, mathematical and computa
tional

\n issues that arise in this perspectiv
e.\n
URL:https://www.rwth-aachen.de/global/show_documen
t.asp?id=aaaaaaaaabcmpnh&download=1
END:VEVENT
END:VCALENDAR