A Family of Neighborhood Contingency Logics

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

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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,323

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

Analytics

Added to PP
2019-10-04

Downloads
36 (#644,235)

6 months
10 (#394,314)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Logic for Disjunctive Ignorance.Jie Fan - 2021 - Journal of Philosophical Logic 50 (6):1293-1312.
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.

Add more citations

References found in this work

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.
The Logic of Non-contingency.I. L. Humberstone - 1995 - Notre Dame Journal of Formal Logic 36 (2):214-229.
Minimal Non-contingency Logic.Steven T. Kuhn - 1995 - Notre Dame Journal of Formal Logic 36 (2):230-234.

View all 10 references / Add more references