Open Access
Spring 1995 Minimal Non-contingency Logic
Steven T. Kuhn
Notre Dame J. Formal Logic 36(2): 230-234 (Spring 1995). DOI: 10.1305/ndjfl/1040248456

Abstract

Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.

Citation

Download Citation

Steven T. Kuhn. "Minimal Non-contingency Logic." Notre Dame J. Formal Logic 36 (2) 230 - 234, Spring 1995. https://doi.org/10.1305/ndjfl/1040248456

Information

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

zbMATH: 0833.03005
MathSciNet: MR1345746
Digital Object Identifier: 10.1305/ndjfl/1040248456

Subjects:
Primary: 03B45

Rights: Copyright © 1995 University of Notre Dame

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