Document Type

Presentation

Presentation Date

Spring 5-17-2018

Conference Name

ASL 2018 North American Annual Meeting

Conference Location

Macomb, IL

Abstract

We argue the importance of provable closure under rules that are equivalent to normality in modal logics.

Keywords

Gödel, incompleteness, unprovability of consistency

Disciplines

Logic and Foundations

Share

COinS