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.

5 December 2012, LIRa-affiliated lunch talk, Torben Brauner

Speaker: Torben Brauner (Roskilde University)
Title: Hybrid-Logical Proof-Theory: With an Application to Reasoning in False-Belief Tasks
Date: Wednesday 5 December 2012
Time: 12:00-13:00
Location: Room D1.115, Science Park 904, Amsterdam

For more information, see http://www.illc.uva.nl/lgc/seminar/?p=1736

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