The logic of non-contingency

I. L. Humberstone

Research output: Contribution to journalArticleResearchpeer-review

47 Citations (Scopus)

Abstract

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency (or equivalently, contingency), by comparison with the usual language based on necessity (or equivalently, possibility).

Original languageEnglish
Pages (from-to)214-229
Number of pages16
JournalNotre Dame Journal of Formal Logic
Volume36
Issue number2
DOIs
Publication statusPublished - 1 Jan 1995

Cite this