Open Access
Translator Disclaimer
Spring 1995 The Logic of Non-contingency
I. L. Humberstone
Notre Dame J. Formal Logic 36(2): 214-229 (Spring 1995). DOI: 10.1305/ndjfl/1040248455

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).

Citation

Download Citation

I. L. Humberstone. "The Logic of Non-contingency." Notre Dame J. Formal Logic 36 (2) 214 - 229, Spring 1995. https://doi.org/10.1305/ndjfl/1040248455

Information

Published: Spring 1995
First available in Project Euclid: 18 December 2002

zbMATH: 0833.03004
MathSciNet: MR1345745
Digital Object Identifier: 10.1305/ndjfl/1040248455

Subjects:
Primary: 03B45

Rights: Copyright © 1995 University of Notre Dame

JOURNAL ARTICLE
16 PAGES


SHARE
Vol.36 • No. 2 • Spring 1995
Back to Top