The logic of non-contingency

Research output: Contribution to journalArticleResearchpeer-review

53 Citations (Scopus)


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
Issue number2
Publication statusPublished - 1 Jan 1995

Cite this