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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040248456

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

A Family of Neighborhood Contingency Logics.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (4):683-699.
The Logic of Non-contingency.I. L. Humberstone - 1995 - Notre Dame Journal of Formal Logic 36 (2):214-229.
Conventionalist and contingency-oriented modal logics.R. Routley - 1971 - Notre Dame Journal of Formal Logic 12 (2):131-152.
Interplays of knowledge and non-contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.
A Non-Standard Kripke Semantics for the Minimal Deontic Logic.Edson Bezerra & Giorgio Venturi - 2021 - Logic and Logical Philosophy 30 (1):97-107.
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities.Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1-32.
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
Contingency and non-contingency bases for normal modal logics.Hugh Montgomery & Richard Routley - 1966 - Logique Et Analyse 9 (35):318.

Analytics

Added to PP
2010-08-24

Downloads
102 (#497,680)

6 months
8 (#1,339,432)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Steve Kuhn
Steve Kuhn
Georgetown University

Citations of this work

Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Two-dimensional adventures.Lloyd Humberstone - 2004 - Philosophical Studies 118 (1-2):17--65.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.

View all 45 citations / Add more citations

References found in this work

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 7 references / Add more references