Abstract
A formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if it is not contingent, i.e., if it is necessarily true or necessarily false. In this paper, we propose a neighborhood semantics for contingency logic, in which the interpretation of the non-contingency operator is consistent with its philosophical intuition. Based on this semantics, we compare the relative expressivity of contingency logic and modal logic on various classes of neighborhood models, and investigate the frame definability of contingency logic. We present a decidable axiomatization for classical contingency logic (the obvious counterpart of classical modal logic), and demonstrate that for contingency logic, neighborhood semantics can be seen as an extension of Kripke semantics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Areces, C., Figueira, D.: Which semantics for neighbourhood semantics? In: IJCAI, pp. 671–676 (2009)
Brogan, A.: Aristotle’s logic of statements about contingency. Mind 76(301), 49–61 (1967)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
Cresswell, M.: Necessity and contingency. Studia Logica 47, 145–149 (1988)
Fan, J., Wang, Y., van Ditmarsch, H.: Almost necessary. Advances in Modal Logic 10, 178–196 (2014)
Fan, J., Wang, Y., van Ditmarsch, H.: Contingency and knowing whether (to appear, 2014)
Hansen, H.H., Kupke, C., Pacuit, E.: Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science 5(2), 1–38 (2009)
van der Hoek, W., Lomuscio, A.: A logic for ignorance. Electronic Notes in Theoretical Computer Science 85(2), 117–133 (2004)
Ma, M., Sano, K.: How to update neighborhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 204–217. Springer, Heidelberg (2013)
Montague, R.: Universal grammar. Theoria 36, 373–398 (1970)
Montgomery, H., Routley, R.: Contingency and non-contingency bases for normal modal logics. Logique et Analyse 9, 318–328 (1966)
Pacuit, E.: Neighborhood semantics for modal logic: An introduction. ESSLLI Lecture (2007), http://web.pacuit.org/papers/nbhdesslli.pdf
Scott, D.: Advice on modal logic. In: Philosophical Problems in Logic: Some Recent Developments, pp. 143–173 (1970)
Steinsvold, C.: A note on logics of ignorance and borders. Notre Dame Journal of Formal Logic 49(4), 385–392 (2008)
Wheeler, G.: AGM belief revision in monotone modal logics. In: Proc. of LPAR 2010 (2010)
Zolin, E.: Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic 40(4), 533–547 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fan, J., van Ditmarsch, H. (2015). Neighborhood Contingency Logic. In: Banerjee, M., Krishna, S.N. (eds) Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45824-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-45824-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45823-5
Online ISBN: 978-3-662-45824-2
eBook Packages: Computer ScienceComputer Science (R0)