Schedule
This is the programme of WoLLIC 2019 and the two satellite workshops.
Monday Tuesday Wednesday Thursday Friday Saturday
Wednesday July 3 – WoLLIC
| 9:10 – 10:00 | Invited talk – Introduction Marta Bílková – On Infinitary Proof Theory of Logics of Information and Common Belief |
| 10:00 – 10:30 | Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez A representation theorem for finite Gödel algebras with operators |
| 10:30 – 11:00 | Coffee Break |
| Parallel session block | |
| 11:00 – 11:30 | (A) Hitosho Omori, Daniel Skurt SIXTEEN3 in light of Routley stars (B) Sam Sanders Reverse mathematics and computability theory of domain theory |
| 11:30 – 12:00 | (A) Carlos Caleiro, Sergio Marcelino Analytic calculi for monadic PNmatrices (B) Makoto Fujiware Bar induction and restricted classical logic |
| 12:00 – 12:30 | (A) Roberto Ciuni, Thomas M. Ferguson, Damian Szmuc Modeling the interaction of computer errors by four-valued contaminating logics (B) David Fernandez-Duque, Eduardo Hermo-Reyes A self-contained provability calculus for Γ0 |
| 12:30 – 14:00 | Lunch |
| 14:00 – 14:30 | Igor Sedlar Substructural propositional dynamic logics |
| 14:30 – 15:20 | Invited talk – Advanced Marta Bílková |
| 15:20 – 15:50 | Coffee break |
| 15:50 – 16:20 | Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt The one-variable fragment of Corsi logic |
| 16:20 – 16:50 | Jim de Groot, Dirk Pattinson Hennessy-Milner properties for (modal) bi-intuitionistic logic |
| 16:50 – 17:20 | Fei Liang, Thiago Nascimento Algebraic semantics for quasi-Nelson logic |
| 18:00 – 20:00 | Movie in ZIMIHC theater Wittevrouwen (Google maps) |