Keynote Speeches
Philippe Balbiani
IRIT, ToulouseParametrized Modal Logic III: Applications to Social Epistemic Logics
Patrick Blackburn
University of RoskildeKnowledge, Propositional Quantification and Hybrid Logic
Thomas Bolander
Technical University of DenmarkFrom Dynamic Epistemic Logic to Socially Intelligent Robots
Sujata Ghosh
Indian Statistical InstituteOn epistemic reasoning in games on graphs
Minghui Ma
Sun Yat-sen UniversityCut Elimination in Gentzen Sequent Calculi for Classical Tense Logics
Chinghui Su
Shandong UniversityThe Hindsight via the Consequent