{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:49Z","timestamp":1774953889400,"version":"3.50.1"},"reference-count":21,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1215\/00294527-2019-0010","type":"journal-article","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T08:00:57Z","timestamp":1562918457000},"source":"Crossref","is-referenced-by-count":8,"title":["Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity"],"prefix":"10.1215","volume":"60","author":[{"given":"Jie","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Cresswell, M. J., \u201cNecessity and contingency,\u201d <i>Studia Logica<\/i>, vol. 47 (1988), pp. 145\u201349.","DOI":"10.1007\/BF00370288"},{"key":"3","unstructured":"[3] Fan, J., \u201cLogics of essence and accident,\u201d preprint, 2015."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Fan, J., and H. van Ditmarsch, \u201cNeighborhood contingency logic,\u201d pp. 88\u201399 in <i>Logic and Its Applications<\/i>, edited by M. Banerjee and S. Krishna, vol. 8923 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2015.","DOI":"10.1007\/978-3-662-45824-2_6"},{"key":"5","unstructured":"[5] Fan, J., Y. Wang, and H. van Ditmarsch, \u201cAlmost necessary,\u201d pp. 178\u201396 in <i>Advances in Modal Logic, Vol. 10<\/i>, edited by R. Gor\u00e9, B. Kooi, and A. Kurucz, College Publications, London, 2014."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Fan, J., Y. Wang, and H. van Ditmarsch, \u201cContingency and knowing whether,\u201d <i>The Review of Symbolic Logic<\/i>, vol. 8 (2015), pp. 75\u2013107.","DOI":"10.1017\/S1755020314000343"},{"key":"7","unstructured":"[7] Hintikka, J., <i>Knowledge and Belief<\/i>, Cornell University Press, Ithaca, 1962."},{"key":"8","unstructured":"[8] Hintikka, J., \u201cThe semantics of questions and the questions of semantics: Case studies in the interrelations of logic, syntax, and semantics,\u201d <i>Acta Philosophica Fennica<\/i>, vol. 28 (1976)."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Humberstone, L., \u201cThe logic of non-contingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 214\u201329.","DOI":"10.1305\/ndjfl\/1040248455"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Humberstone, L., \u201cThe modal logic of agreement and noncontingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 43 (2002), pp. 95\u2013127.","DOI":"10.1305\/ndjfl\/1071509431"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Karttunen, L., \u201cSyntax and semantics of questions,\u201d <i>Linguistics and Philosophy<\/i>, vol. 1 (1977), pp. 3\u201344.","DOI":"10.1007\/BF00351935"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Kuhn, S., \u201cMinimal non-contingency logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 230\u201334.","DOI":"10.1305\/ndjfl\/1040248456"},{"key":"13","unstructured":"[13] Marcos, J., \u201cLogics of essence and accident,\u201d <i>Bulletin of the Section of Logic<\/i>, vol. 34 (2005), pp. 43\u201356."},{"key":"14","unstructured":"[14] Montgomery, H., and R. Routley, \u201cContingency and non-contingency bases for normal modal logics,\u201d <i>Logique et Analyse, Nouvelle S\u00e9ries<\/i>, vol. 9 (1966), pp. 318\u201328."},{"key":"15","unstructured":"[15] Steinsvold, C., \u201cCompleteness for various logics of essence and accident,\u201d <i>Bulletin of the Section of Logic<\/i>, vol. 37 (2008), pp. 93\u2013101."},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Steinsvold, C., \u201cA note on logics of ignorance and borders,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 49 (2008), pp. 385\u201392.","DOI":"10.1215\/00294527-2008-018"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Steinsvold, C., \u201cBeing wrong: Logics for false belief,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 52 (2011), pp. 245\u201353.","DOI":"10.1215\/00294527-1435438"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] van der Hoek, W., and A. Lomuscio, \u201cA logic for ignorance,\u201d <i>Electronic Notes in Theoretical Computer Science<\/i>, vol. 85 (2004), pp. 117\u201333.","DOI":"10.1016\/S1571-0661(05)82606-4"},{"key":"19","unstructured":"[19] van Ditmarsch, H., J. Fan, W. van der Hoek, and P. Iliev, \u201cSome exponential lower bounds on formula-size in modal logic,\u201d pp. 139\u201357 in <i>Advances in Modal Logic, Vol. 10<\/i>, edited by R. Gor\u00e9, B. Kooi, and A. Kurucz, College Publications, London, 2014."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Wang, L., and O. Tai, \u201cSkeptical conclusions,\u201d <i>Erkenntnis<\/i>, vol. 72 (2010), pp. 177\u2013204.","DOI":"10.1007\/s10670-009-9198-2"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Zolin, E. E., \u201cCompleteness and definability in the logic of noncontingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), pp. 533\u201347.","DOI":"10.1305\/ndjfl\/1012429717"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:48Z","timestamp":1706648388000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-3\/Strong-Noncontingency--On-the-Modal-Logics-of-an-Operator\/10.1215\/00294527-2019-0010.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":21,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0010","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,8,1]]}}}