Notre Dame Journal of Formal Logic 36 (2):230-234 (1995)

Authors
Steve Kuhn
Georgetown University
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1040248456
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,107
Through your library

References found in this work BETA

The Logic of Non-Contingency.I. L. Humberstone - 1995 - Notre Dame Journal of Formal Logic 36 (2):214-229.
Necessity and Contingency.M. J. Cresswell - 1988 - Studia Logica 47 (2):145 - 149.

View all 6 references / Add more references

Citations of this work BETA

Two-Dimensional Adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Symmetric Contingency Logic with Unlimitedly Many Modalities.Jie Fan - 2019 - Journal of Philosophical Logic 48 (5):851-866.

View all 27 citations / Add more citations

Similar books and articles

Relative Contingency and Bimodality.Claudio Pizzi - 2013 - Logica Universalis 7 (1):113-123.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
Heiberg's Contingency Regarded From the Point of View of Logic and Other Texts.J. L. Heiberg - 2008 - Søren Kierkegaard Research Centre, University of Copenhagen.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
What One May Come to Know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Minimal Fields.Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (4):1833-1835.
Some Two-Cardinal Results for o-Minimal Theories.Timothy Bays - 1998 - Journal of Symbolic Logic 63 (2):543-548.
Uniqueness of Normal Proofs of Minimal Formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.

Analytics

Added to PP index
2010-08-24

Total views
33 ( #331,356 of 2,454,642 )

Recent downloads (6 months)
1 ( #449,377 of 2,454,642 )

How can I increase my downloads?

Downloads

My notes