Workshop: New Directions in Reasoning about Belief and Knowledge

On the occasion of the two PhD defenses by Malvin Gattinger and Chenwei Shi we will have a workshop on June 12th 2018.

Title: New Directions in Reasoning about Belief and Knowledge

Date and Time: Tuesday, June 12th 2018, 9:00-17:30

Location: ILLC Common Room F1.21, Science Park 107, Amsterdam


09:00 – 09:30  Franz Berto: The Theory of Topic-Sensitive Intentional Modals
09:30 – 10:00  Beishui Liao: Reasoning about values, norms and preferences in formal argumentation
10:00 – 10:30  Kaile Su: Symbolic Model Checking Real-time Alternating-time Temporal Logic of Knowledge RTATL*K

11:00 – 11:30  Aybüke Özgün & Ana Lucia Vargas Sandoval: APAL with Memory is Better
11:30 – 12:00  Chenwei Shi: Evidence-based belief: believing more or believing more consistently?
12:00 – 12:30  Malvin Gattinger: Symbolic Dynamic Gossip

14:00 – 14:30  Andreas Herzig: Epistemic planning and the epistemic gossip problem
14:30 – 15:00  Davide Grossi: On the Graded Acceptability of Arguments
15:00 – 15:30  Yanjing Wang: Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names

16:00 – 16:30  Paul Egré: Vagueness, Approximation, and the Maxim of Quality
16:30 – 17:00  Hans van Ditmarsch: Asynchronous Announcements
17:00 – 17:30  Jan van Eijck: Truth in Troubled Times

You can download the full program with abstracts as a PDF here.


Financial Support
This workshop is financed by the ILLC and NWO.