Propositional quantification in logics of contingency

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


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.



    Upload a copy of this work     Papers currently archived: 84,292

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

A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel


Added to PP

23 (#533,033)

6 months
2 (#332,731)

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.

Add more citations

References found in this work

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

View all 26 references / Add more references