{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:46Z","timestamp":1774953886573,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,6,28]],"date-time":"2018-06-28T00:00:00Z","timestamp":1530144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Social Science Fundation of China","award":["17CZX053"],"award-info":[{"award-number":["17CZX053"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10992-018-9470-5","type":"journal-article","created":{"date-parts":[[2018,6,28]],"date-time":"2018-06-28T08:16:46Z","timestamp":1530173806000},"page":"425-445","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Bimodal Logics with Contingency and Accident"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6152-3206","authenticated-orcid":false,"given":"Jie","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,28]]},"reference":[{"key":"9470_CR1","unstructured":"Ariew, R., & Garber, D. (Eds., and trans.). G. W. Leibniz: Philosophical essays. Indianapolis: Hackett Publishing Company, 1989."},{"key":"9470_CR2","unstructured":"Aristotle. (1941). De Interpretatione (On Interpretation). In McKeon, R. (Ed.) The Basic Works of Aristotle. New York: Random House."},{"issue":"301","key":"9470_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1093\/mind\/LXXVI.301.49","volume":"76","author":"A Brogan","year":"1967","unstructured":"Brogan, A. (1967). Aristotle\u2019s logic of statements about contingency. Mind, 76 (301), 49\u201361.","journal-title":"Mind"},{"key":"9470_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00370288","volume":"47","author":"M Cresswell","year":"1988","unstructured":"Cresswell, M. (1988). Necessity and contingency. Studia Logica, 47, 145\u2013149.","journal-title":"Studia Logica"},{"key":"9470_CR5","unstructured":"Fan, J. Strong non-contingency: on the modal logics of an operator expressively weaker than necessity. Accepted by Notre Dame Journal of Formal Logic."},{"key":"9470_CR6","unstructured":"Fan, J. (2015). Logics of essence and accident. arXiv:\n                    1506.01872\n                    \n                   unpublished manuscript."},{"key":"9470_CR7","unstructured":"Fan, J., Wang, Y., van Ditmarsch, H. (2014). Almost necessary. In Advances in modal logic, (Vol. 10 pp. 178\u2013196)."},{"issue":"1","key":"9470_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S1755020314000343","volume":"8","author":"J Fan","year":"2015","unstructured":"Fan, J., Wang, Y., van Ditmarsch, H. (2015). Contingency and knowing whether. The Review of Symbolic Logic, 8(1), 75\u2013107.","journal-title":"The Review of Symbolic Logic"},{"key":"9470_CR9","unstructured":"Fine, K. (2017). Ignorance of ignorance. Synthese, 1\u201315."},{"issue":"2","key":"9470_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.2307\/2271594","volume":"28","author":"FB Fitch","year":"1963","unstructured":"Fitch, F.B. (1963). A logical analysis of some value concepts. The Journal of Symbolic Logic, 28(2), 135\u2013142.","journal-title":"The Journal of Symbolic Logic"},{"key":"9470_CR11","doi-asserted-by":"publisher","first-page":"56","DOI":"10.26686\/ajl.v7i0.1808","volume":"7","author":"R French","year":"2009","unstructured":"French, R., & Humberstone, L. (2009). Partial confirmation of a conjecture on the boxdot translation in modal logic. The Australasian Journal of Logic, 7, 56\u201361.","journal-title":"The Australasian Journal of Logic"},{"issue":"1","key":"9470_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S175502031500026X","volume":"9","author":"DR Gilbert","year":"2016","unstructured":"Gilbert, D.R., & Venturi, G. (2016). Reflexive-insensitive modal logics. The Review of Symbolic Logic, 9(1), 167\u2013180.","journal-title":"The Review of Symbolic Logic"},{"issue":"5","key":"9470_CR13","doi-asserted-by":"publisher","first-page":"458","DOI":"10.2307\/2181716","volume":"57","author":"FH Heinemann","year":"1948","unstructured":"Heinemann, F.H. (1948). Truths of reason and truths of fact. The Philosophical Review, 57(5), 458\u2013480.","journal-title":"The Philosophical Review"},{"key":"9470_CR14","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief. Ithaca: Cornell University Press."},{"key":"9470_CR15","unstructured":"Holliday, W., & Icard, T. (2010). Moorean phenomena in epistemic logic. In Beklemishev, L., Goranko, V., Shehtman, V. (Eds.) Advances in Modal Logic 8 (pp. 178\u2013199): College Publications."},{"issue":"2","key":"9470_CR16","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1305\/ndjfl\/1040248455","volume":"36","author":"L Humberstone","year":"1995","unstructured":"Humberstone, L. (1995). The logic of non-contingency. Notre Dame Journal of Formal Logic, 36(2), 214\u2013229.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9470_CR17","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1305\/ndjfl\/1040248456","volume":"36","author":"S Kuhn","year":"1995","unstructured":"Kuhn, S. (1995). Minimal non-contingency logic. Notre Dame Journal of Formal Logic, 36(2), 230\u2013234.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"9470_CR18","first-page":"43","volume":"34","author":"J Marcos","year":"2005","unstructured":"Marcos, J. (2005). Logics of essence and accident. Bulletin of the Section of Logic, 34(1), 43\u201356.","journal-title":"Bulletin of the Section of Logic"},{"key":"9470_CR19","first-page":"318","volume":"9","author":"H Montgomery","year":"1966","unstructured":"Montgomery, H., & Routley, R. (1966). Contingency and non-contingency bases for normal modal logics. Logique et Analyse, 9, 318\u2013328.","journal-title":"Logique et Analyse"},{"key":"9470_CR20","unstructured":"Moore, G.E. (1942). A reply to my critics. In Schilpp, P.A. (Ed.) The Philosophy of G.E. Moore. The Library of Living Philosophers (volume 4) (pp. 535\u2013677). Evanston: Northwestern University."},{"key":"9470_CR21","unstructured":"Small, C.G. (2001). Reflections on G\u00f6del\u2019s ontological argument. In Deppert, W., & Rahnfeld, M. (Eds.) Klarheit in Religionsdingen: Aktuelle Beitrage zur Religionsphilosophie\u0308, volume Band III of Grundlagenprobleme unserer Zeit, pages 109\u2013144. Leipziger Universit\u00e4tsverlag."},{"issue":"2","key":"9470_CR22","first-page":"93","volume":"37","author":"C Steinsvold","year":"2008","unstructured":"Steinsvold, C. (2008). Completeness for various logics of essence and accident. Bulletin of the Section of Logic, 37(2), 93\u2013101.","journal-title":"Bulletin of the Section of Logic"},{"issue":"4","key":"9470_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1215\/00294527-2008-018","volume":"49","author":"C Steinsvold","year":"2008","unstructured":"Steinsvold, C. (2008). A note on logics of ignorance and borders. Notre Dame Journal of Formal Logic, 49(4), 385\u2013392.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9470_CR24","doi-asserted-by":"publisher","first-page":"18","DOI":"10.26686\/ajl.v10i0.1822","volume":"10","author":"C Steinsvold","year":"2011","unstructured":"Steinsvold, C. (2011). The boxdot conjecture and the language of essence and accident. Australasian Journal of Logic, 10, 18\u201335.","journal-title":"Australasian Journal of Logic"},{"issue":"2","key":"9470_CR25","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/analys\/64.2.95","volume":"64","author":"J Benthem van","year":"2004","unstructured":"van Benthem, J. (2004). What one may come to know. Analysis, 64(2), 95\u2013105.","journal-title":"Analysis"},{"key":"9470_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press."},{"issue":"1","key":"9470_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1080\/11663081.2016.1184931","volume":"26","author":"H Ditmarsch van","year":"2016","unstructured":"van Ditmarsch, H., & Fan, J. (2016). Propositional quantification in logics of contingency. Journal of Applied Non-Classical Logics, 26(1), 81\u2013102.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9470_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic, volume 337 of synthese library","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B. (2007). Dynamic epistemic logic, volume 337 of synthese library. Berlin: Springer."},{"issue":"4","key":"9470_CR29","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1305\/ndjfl\/1012429717","volume":"40","author":"E Zolin","year":"1999","unstructured":"Zolin, E. (1999). Completeness and definability in the logic of noncontingency. Notre Dame Journal of Formal Logic, 40(4), 533\u2013547.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9470-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9470-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9470-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T19:06:32Z","timestamp":1561662392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9470-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,28]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9470"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9470-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,28]]},"assertion":[{"value":"5 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 June 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}