Venue: Tobacco Theater, Nes 75-87, Amsterdam (map)
Prominent colleagues and friends of Johan van Benthem will give talks targeted at an audience specialized in logic. All colleagues and former students of Johan are invited to attend.
Logic, Mathematics and Computation(Chair: Peter van Emde Boas) |
|
| 09.30-10.00 |
Albert Visser (Utrecht) Johan van Benthem and Löb's Logic (pdf) |
| 10.00-10.30 |
Hajnal Andreka and Istvan Nemeti (Budapest) The end of time (defining time and space experimentally) (pptx) |
| 10.30-11.00 |
Balder ten Cate (LogicBlox Inc. & Santa Cruz) An interpolation theorem for first-order formulas with relational access restrictions (pdf) |
| Break |
|
Logic and Philosophy(Chair: Frank Veltman) |
|
| 11.30-12.00 |
Hannes Leitgeb (Munich) New Foundations for Hyperintensional Semantics? (pdf) |
| 12.00-12.30 |
Wesley Holliday (Berkeley) From Beth to van Benthem: Possibilities for Intuitionistic, Classical, and Modal Logic (pdf) |
| 12.30-13.00 |
Sergei Artemov (New York, Moscow) Syntactic Epistemic Logic |
| Lunch |
|
Logic, Language and Cognition(Chair: Martin Stokhof) |
|
| 14.30-15.00 |
Thomas Icard (Stanford) Natural logic and vehicles of inference (pdf) |
| 15.00-15.30 |
Dag Westerståhl (Stockholm) The Geometry of Quantification. Climbing the number tree and other stories of generalized quantifiers (pdf) |
| Break |
|
Logic, Games and Argumentation(Chair: Alexandru Baltag) |
|
| 16.00-16.30 |
Samson Abramsky (Oxford) Contextual Semantics (pdf) |
| 16.30-17.00 |
Dov Gabbay (London) What is a logical system 2020 (pdf) |
| 17.00-17.30 |
Rohit Parikh (New York) Grice, Hoare and Nash (pdf) |
|
|
|
| 18.30-20.00 | Dinner |
| 20.00- | Party |