Minimal Non-contingency Logic

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.Johan Ludvig 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
2010-08-24

Downloads
35 (#331,081)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Kuhn
Georgetown University