The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Costa-Leite, A. (2007). Interactions of metaphysical and epistemic concepts. Université de Neuchâtel: PhD thesis.
Fan, J. (2018). A logic of temporal contingency without propositional constants. Under submission.
Fan, J., Wang, Y., van Ditmarsch, H. (2014). Almost necessary. In Advances in modal logic (Vol. 10, pp. 178–196).
Fan, J., Wang, Y., van Ditmarsch, H. (2015). Contingency and knowing whether. The Review of Symbolic Logic, 8(1), 75–107.
Humberstone, L. (1995). The logic of non-contingency. Notre Dame Journal of Formal Logic, 36(2), 214–229.
Kuhn, S. (1995). Minimal non-contingency logic. Notre Dame Journal of Formal Logic, 36(2), 230–234.
Liu, F., Seligman, J., Girard, P. (2014). Logical dynamics of belief change in the community. Synthese, 191(11), 2403–2431.
Montgomery, H., & Routley, R. (1966). Contingency and non-contingency bases for normal modal logics. Logique et Analyse, 9, 318–328.
Steinsvold, C. (2008). A note on logics of ignorance and borders. Notre Dame Journal of Formal Logic, 49(4), 385–392.
van der Hoek, W., & Lomuscio, A. (2004). A logic for ignorance. Electronic Notes in Theoretical Computer Science, 85(2), 117–133.
Von Wright, G.H. (1951). Deontic logic. Mind, 60(237), 1–15.
Zolin, E. (1999). Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 40(4), 533–547.
Zolin, E. (2001). Sequent logic of arithmetic decidability. Moscow University Mathematics Bulletin, 56(6), 22–27.
This research is supported by the project 17CZX053 of National Social Science Fundation of China. We would like to acknowledge an anonymous referee for his/her insightful comments.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Fan, J. Symmetric Contingency Logic with Unlimitedly Many Modalities. J Philos Logic 48, 851–866 (2019). https://doi.org/10.1007/s10992-018-09498-1
- Symmetric frames
- Unlimitedly many modalities