Description
The purpose of this one day workshop is to bring together distinguished international and Dutch researchers in the area of non-classical logic and its applications.
The aim of the workshop is to contribute to developing a unified perspective towards the theory and applications of non-classical logics. The workshop will focus on the recent developments of methodologies for correspondence and canonicity in non-classical logics.
The workshop is associated with the PhD defense of Sumit Sourabh on Correspondence and Canonicity in Non-Classical Logic at Aula of the University of Amsterdam on Wednesday, 9 September, 2015 at 13:00.
Invited Speakers
- Willem Conradie (University of Johannesburg)
- Rob Goldblatt (Victoria University)
- Valentin Goranko (Stockholm University)
- Julia Ilin (ILLC, University of Amsterdam)
- Dick de Jongh (ILLC, University of Amsterdam)
- Frederik Lauridsen (ILLC, University of Amsterdam)
- Zhiguang Zhao (TU Delft)
Program
| Time | Speaker | Title |
| 09:15-09:30 | Opening and Welcome | |
| 09:30-10:30 | Rob Goldblatt | Canonicity and First-Order Completeness: wherein lies the difference? [Abstract] |
| 10:30-11:00 | Coffee break | |
| 11:00-12:00 | Dick de Jongh | Subminimal negation [Abstract] |
| 12:00-14:00 | Lunch Break | |
| 14:00-15:00 | Willem Conradie | Correspondence and canonicity for non-distributive logics [Abstract] |
| 15:00-15:30 | Zhiguang Zhao | A comparison between two kinds of canonicity proofs [Abstract] |
| 15:30-16:00 | Julia Ilin | Stable modal logics [Abstract] |
| 16:00-16:30 | Coffee break | |
| 16:30-17:00 | Frederik Lauridsen / Silvio Ghilardi | One-step algebras and frames for intermediate logics [Abstract] |
| 17:00-17:30 | Sumit Sourabh | Relativised canonicity via pseudo-correspondence [Abstract] |
| 17:30-18:15 | Valentin Goranko | Logics for visual-epistemic reasoning in multi-agent systems [Abstract] |
Practicalities
The venue for the workshop is Belle van Zuylenzaal (C1.13), University Library, Singel 425, Amsterdam 1012 WP. For more details see here.Organisers
Nick BezhanishviliSumit Sourabh
Acknowledgements
This workshop is being made possible by financial support from the Netherlands Organisation for Scientfic Research and the Institute for Logic, Language and Computation.
