{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:47Z","timestamp":1774953887157,"version":"3.50.1"},"reference-count":10,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,4,1]]},"DOI":"10.1305\/ndjfl\/1040248455","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:28:15Z","timestamp":1046208495000},"source":"Crossref","is-referenced-by-count":50,"title":["The Logic of Non-contingency"],"prefix":"10.1215","volume":"36","author":[{"given":"I. L.","family":"Humberstone","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Chellas, B. F., <i>Modal Logic: An Introduction<\/i>, Cambridge University Press, Cambridge, 1980. Zbl 0431.03009 MR 81i:03019","DOI":"10.1017\/CBO9780511621192"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Cresswell, M. J., \u201cNecessity and contingency,\u201d <i>Studia Logica<\/i>, vol. 47 (1988), pp. 145\u2013149. Zbl 0666.03015 MR 90d:03032","DOI":"10.1007\/BF00370288"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Hi\u017c, H., \u201cA warning about translating axioms,\u201d <i>American Mathematics Monthly<\/i>, vol. 65 (1958), pp. 613\u2013614. Zbl 0082.01504 MR 21:3326","DOI":"10.2307\/2309121"},{"key":"4","unstructured":"Mortensen, C., \u201cA sequence of normal modal systems with non-contingency bases,\u201d <i>Logique et Analyse<\/i>, vol. 19 (1976), pp. 341\u2013344. Zbl 0347.02014 MR 58:16154"},{"key":"5","unstructured":"Montgomery, H., and R. Routley, \u201cContingency and non-contingency bases for normal modal logics,\u201d <i>Logique et Analyse<\/i>, vol. 9 (1966), pp. 318\u2013328. Zbl 0294.02008 MR 36:6270"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Salomaa, A., \u201cMorphisms on free monoids and language theory,\u201d pp. 141\u2013166 in <i>Formal Language Theory: Perspectives and Open Problems<\/i>, edited by R. V. Book, Academic Press, New York 1980.","DOI":"10.1016\/B978-0-12-115350-2.50011-7"},{"key":"7","unstructured":"Segerberg, K., <i>Classical Propositional Operators<\/i>, Clarendon Press, Oxford, 1982. Zbl 0491.03003 MR 83i:03001"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Smullyan, R. M., <i>First-Order Logic<\/i>, Springer-Verlag, Berlin, 1968. Zbl 0172.28901 MR 39:5311","DOI":"10.1007\/978-3-642-86718-7"},{"key":"9","doi-asserted-by":"crossref","unstructured":"van Benthem, J., and I. L. Humberstone, \u201cHalld\u00e9n-completeness by gluing of Kripke frames,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 24 (1983), pp. 426\u2013430. Zbl 0487.03008 MR 85i:03040","DOI":"10.1305\/ndjfl\/1093870446"},{"key":"10","doi-asserted-by":"crossref","unstructured":"von Wright, G. H., \u201cDeontic logic,\u201d pp. 58\u201374 in <i>Logical Studies<\/i>, Routledge and Kegan Paul, London, 1957.","DOI":"10.4324\/9781315823027-4"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040248455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:27Z","timestamp":1706649147000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-2\/The-Logic-of-Non-contingency\/10.1305\/ndjfl\/1040248455.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4,1]]},"references-count":10,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1995,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040248455","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,4,1]]}}}