Universal Necessity and Deep Classicality

The universal conception of necessity says that necessary truth is truth in all possible worlds. This idea is well studied in the context of classical possible worlds models, and there its logic is S5. The universal conception of necessity is less well studied in models for non-classical logics. We will present some preliminary results on universal necessity on models for intuitionistic logic, first-degree entailment, and relevant logics. We will close by discussing a way in which universal necessity is a very classical concept. 2020 Mathematics Subject Classification. Primary: 03B45, Secondary: 03B47, 03B20.

Authors

• Shawn Standefer
• Rohan French

Keywords

No keywords are indexed for this paper.