Shawn Standefer

I've taught an upper level non-classical logics several times. The final project involves a presentation of an article we don't cover in class. Three articles have been done repeatedly in the class.
- @andrejbauer@mathstodon.xyz's Five Stages of Constructive Mathematics
- @rrrichardzach@mathstodon.xyz's Significance of the Curry-Howard Isomorphism
- Graham Priest's Logic of the Catuskoti.
The students seem to like these a bunch.

My book on relevant logics is available for preorder

https://www.amazon.com/Relevant-Logics-Implication-Modality-Quantification/dp/1009422855

I'm happy to say that I'll be an Area Editor for Logic at Ergo. It's a great journal and I like contributing to open access endeavors.

Have there been any announcements about the next Advances in Modal Logic conference?