ASL 2018 North American Annual Meeting
We argue the importance of provable closure under rules that are equivalent to normality in modal logics.
Gödel, incompleteness, unprovability of consistency
Logic and Foundations
Bernd Buldt (2018).
On properties sufficient for Gödel's second incompletness theorem. Presented at ASL 2018 North American Annual Meeting, Macomb, IL.