Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak

Athar Abdul-Quader
2018 Bulletin of Symbolic Logic  
THESIS ABSTRACTS Second, I argue that there is a close connection between dynamic epistemic logic and logical geometry. The latter is the systematic investigation of extensions and variants of the well-known Aristotelian square of opposition. I show that dynamic epistemic logics give rise to some very interesting Aristotelian diagrams (squares of opposition, but also many other, more complex diagrams). As a further illustration of the philosophical significance of logical geometry, I also
more » ... p a theoretical account of the information levels of the Aristotelian relations and diagrams. This account can then be applied to the Aristotelian diagrams for dynamic epistemic logic that were mentioned above. Abstract prepared by Lorenz Demey Abstract prepared by Rafael Zamora
doi:10.1017/bsl.2018.48 fatcat:zmeqvud6efdovflctk5gxasznm