Conference Programme
| 8 January 2017 | |||||
| 9:00 | Registration | ||||
| Invited Talk |
|||||
| 9:30 - 10:30 | Lidia Tendera Finite Model Reasoning in Expressive Fragments of First-Order Logic |
||||
| 10:30 - 11:00 | Coffee | ||||
| Tutorial |
|||||
| 11:00 - 12:30 | Thomas Bolander Epistemic Planning: The DEL approach I |
||||
| 12:30 | Lunch | ||||
| Tutorial |
|||||
| 14:00 - 15:30 | Paritosh Pandya Deterministic temporal logics and interval constraints I |
||||
| 15:30 - 16:00 | Coffee | ||||
| Tutorial |
|||||
| 16:00 - 17:00 | Thomas Bolander Epistemic Planning: The DEL approach II |
||||
| 9 January 2017 | |||||
| Invited Talk |
|||||
| 9:00 - 10:00 | Joel Gregory Lucero-Bryan Modal Logics of Tychonoff HED-Spaces |
||||
| Tutorial |
|||||
| 10:15 - 11:15 | Thomas Bolander Epistemic Planning: The DEL approach III |
||||
| 11:15 - 11:30 | Coffee | ||||
| Contributed Talks |
|||||
| 11:30 - 12:00 | Samuel Bucheli, Meghdad Ghari and Thomas Studer Temporal Justification Logic |
||||
| 12:00 - 12:30 |
Thorsten Engesser, Thomas Bolander, Robert Mattmuller and Bernhard Nebel
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination |
||||
| 12:30 | Lunch | ||||
| Tutorial |
|||||
| 14:00 - 15:30 | Kamal Lodaya Deterministic temporal logics and interval constraints II |
||||
| 15:30 - 16:00 | Coffee | ||||
| Contributed Talks |
|||||
| 16:00 - 16:30 |
Minghui Ma and Ahti-Veikko Pietarinen
Graphical Sequent Calculi for Modal Logics |
||||
| 16:30 - 17:00 |
Katsuhiko Sano and John Stell
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics |
||||