Skip to main content Accessibility help




A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator Δ but without the necessity operator □. This logic is not a normal modal logic, because Δ(φψ) → (Δφ → Δψ) is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap.


Corresponding author



Hide All
Aloni, M., Égré, P., & Jager, T. (2013). Knowing whether A or B. Synthese, 190(14), 25952621.
Attamah, M., van Ditmarsch, H., Grossi, D., & van der Hoek, W. (2014). Knowledge and gossip. In Proceedings of 21st ECAI. Amsterdam: IOS Press, pp. 2126.
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & De Lima, T. (2008). ‘Knowable’ as ‘known after an announcement’. Review of Symbolic Logic, 1(3), 305334.
Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Proceedings of the 7th TARK, San Francisco, CA: Morgan Kaufmann, pp. 4356.
Brogan, A. (1967). Aristotle’s logic of statements about contingency. Mind, 76(301), 4961.
Ciardelli, I., & Roelofsen, F. (2014). Inquisitive dynamic epistemic logic. Synthese, doi:10.1007/s11229-014-0404-7. To appear.
Demri, S. (1997). A completeness proof for a logic with an alternative necessity operator. Studia Logica, 58(1), 99112.
Égré, P. (2008). Question-embedding and factivity. Grazer Philosophische Studien, 77, 85125.
Fan, J., Wang, Y., & van Ditmarsch, H. (2014). Almost necessary. Advances in Modal Logic, Vol. 10. pp. 178196.
Hansen, J. (2011). A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology. PhD Thesis, Roskilde University.
Hart, S., Heifetz, A., & Samet, D. (1996). Knowing whether, knowing that, and the cardinality of state spaces. Journal of Economic Theory, 70(1), 249256.
Hedetniemi, S., Hedetniemi, S., & Liestman, A. (1988). A survey of gossiping and broadcasting in communication networks. Networks, 18, 319349.
Heifetz, A., & Samet, D. (1993). Universal Partition Structures. Working paper (Israel Institute of business research). Tel Aviv: Tel Aviv University.
Hendricks, V. (2010). Knowledge transmissibility and pluralistic ignorance: A first stab. Metaphilosophy, 41, 279291.
Humberstone, L. (1995). The logic of noncontingency. Notre Dame Journal of Formal Logic, 36(2), 214229.
Humberstone, L. (2002). The modal logic of agreement and noncontingency. Notre Dame Journal of Formal Logic, 43(2), 95127.
Kuhn, S. (1995). Minimal non-contingency logic. Notre Dame Journal of Formal Logic, 36(2), 230234.
McCarthy, J. (1979). First-order theories of individual concepts and propositions. Machine Intelligence, 9, 129147.
Montgomery, H., & Routley, R. (1966). Contingency and non-contingency bases for normal modal logics. Logique et Analyse, 9, 318328.
Moses, Y., Dolev, D., & Halpern, J. (1986). Cheating husbands and other stories: a case study in knowledge, action, and communication. Distributed Computing, 1(3), 167176.
Petrick, R., & Bacchus, F. (2004). Extending the knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the 9th KR, Palo Alto: AAAI Press, pp. 613622.
Plaza, J. (1989). Logics of public communications. In Proceedings of the 4th ISMIS. Oak Ridge, TN: Oak Ridge National Laboratory, pp. 201216.
Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge: The MIT Press.
Steinsvold, C. (2008). A note on logics of ignorance and borders. Notre Dame Journal of Formal Logic, 49(4), 385392.
van der Hoek, W., & Lomuscio, A. (2003). Ignore at your peril - towards a logic for ignorance. In Proceedings of 2nd AAMAS. New York: ACM, pp. 11481149.
van der Hoek, W., & Lomuscio, A. (2004). A logic for ignorance. Electronic Notes in Theoretical Computer Science, 85(2), 117133.
van Ditmarsch, H. (2007). Comments to ‘Logics of public communications’. Synthese, 158(2), 181187.
van Ditmarsch, H., Fan, J., van der Hoek, W., & Iliev, P. (2014). Some exponential lower bounds on formula-size in modal logic. Advances in Modal Logic, Vol. 10. pp. 139157.
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic, Vol. 337 of Synthese Library. Dordrecht: Springer.
Wang, Y., & Cao, Q. (2013). On axiomatizations of public announcement logic. Synthese, 190(1S), 103134.
Wang, Y., & Fan, J. (2013). Knowing that, knowing what, and public communication: Public announcement logic with Kv operators. In Proceedings of 23rd IJCAI, Palo Alto: AAAI Press, pp. 11471154.
Wang, Y., & Fan, J. (2014). Conditionally knowing what. Advances in Modal Logic, Vol. 10. pp. 569587.
Wang, Y., Sietsma, F., & van Eijck, J. (2011). Logic of information flow on communication channels. In Omicini, A., Sardina, S., and Vasconcelos, W., editors. Declarative Agent Languages and Technologies VIII, Vol. 6619 of Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, pp. 130147.
Zolin, E. (1999). Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 40(4), 533547.
Zolin, E. (2001). Infinitary expressibility of necessity in terms of contingency. In Striegnitz, K., editor. Proceedings of the Sixth ESSLLI Student Session. pp. 325334.
Zuber, R. (1982). Semantics restrictions on certains complementizers. In Proceedings of the 13th International Congress of Linguists, Tokyo, pp. 434436.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed