A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak
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
doi:10.1017/bsl.2018.48
fatcat:zmeqvud6efdovflctk5gxasznm