Notre Dame Journal of Formal Logic 60 (4):683-699 (2019)

Authors
Abstract
This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.
Keywords axiomatization   monotone logic   neighborhood semantics   regular logic  contingency logic
Categories (categorize this paper)
DOI 10.1215/00294527-2019-0025
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: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
Minimal Non-Contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
Necessity and Contingency.M. J. Cresswell - 1988 - Studia Logica 47 (2):145 - 149.

View all 10 references / Add more references

Citations of this work BETA

A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
A Unified Logic for Contingency and Accident.Jie Fan - 2022 - Journal of Philosophical Logic 51 (4):693-720.
A Logic for Disjunctive Ignorance.Jie Fan - 2021 - Journal of Philosophical Logic 50 (6):1293-1312.

Add more citations

Similar books and articles

Interplays of Knowledge and Non-Contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Canonicity for Intensional Logics with Even Axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Minimal Non-Contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.
Propositional Quantification in Logics of Contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Reasoning with Different Levels of Uncertainty.Ofer Arieli - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):317-343.

Analytics

Added to PP index
2019-10-04

Total views
13 ( #775,299 of 2,533,574 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,574 )

How can I increase my downloads?

Downloads

My notes