Propositional quantification in logics of contingency

Journal of Applied Non-Classical Logics 26 (1):81-102 (2016)
  Copy   BIBTEX

Abstract

In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called arbitrary public announcement logic. However, our language primitive is the more suitable notion of public announcement whether, instead of the public announcement that. We compare the expressive power of our logic and its various fragments to related dynamic epistemic logics. We further present an axiomatisation and show its completeness by adapting a method to demonstrate completeness of arbitrary public announcement logic. Various extensions are also shown to be complete with respect to the corresponding frame classes.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,244

External links

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

Through your library

Analytics

Added to PP
2016-07-04

Downloads
45 (#385,070)

6 months
15 (#302,718)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.
A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
Axiomatizing Rumsfeld Ignorance.Jie Fan - 2023 - Journal of Philosophical Logic 53 (1):79-97.

Add more citations

References found in this work

Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Questions.Jeroen Groenendijk & Martin Stokhof - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier. pp. 1059–1131.
Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.

View all 26 references / Add more references