{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T11:26:15Z","timestamp":1750850775823},"reference-count":37,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,4,1]]},"DOI":"10.1305\/ndjfl\/1071509431","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:24:55Z","timestamp":1074525895000},"source":"Crossref","is-referenced-by-count":17,"title":["The Modal Logic of Agreement and Noncontingency"],"prefix":"10.1215","volume":"43","author":[{"given":"Lloyd","family":"Humberstone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"22","doi-asserted-by":"publisher","unstructured":"Kuhn, S. T., \"Minimal non-contingency logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 230\u201334.","DOI":"10.1305\/ndjfl\/1040248456"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Hughes, G. E., and M. J. Cresswell, <i>A N<\/i>ew Introduction to Modal Logic, Routledge, London, 1996.","DOI":"10.4324\/9780203290644"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Chagrov, A., and M. Zakharyaschev, <i>Modal L<\/i>ogic, vol. 35 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Chellas, B. F., <i>Modal L<\/i>ogic, Cambridge University Press, Cambridge, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Chellas, B. F., and A. McKinney, \"The completeness of monotonic modal logics\", <i>Zeitschrift f\u00fcr mathematische L<\/i>ogik und Grundlagen der Mathematik, vol. 21 (1975), pp. 379\u201383.","DOI":"10.1002\/malq.19750210150"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Creswell, M., \"Necessity and contingency\", <i>Studia Logica<\/i>, vol. 47 (1988), pp. 145\u201349.","DOI":"10.1007\/BF00370288"},{"key":"5","unstructured":"Davies, M., <i>Meaning, Q<\/i>uantification, Necessity: Themes in Philosophical Logic, Routledge and Kegan Paul, London, 1981."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Demri, S., \"A completeness proof for a logic with an alternative necessity operator\", <i>Studia Logica<\/i>, vol. 58 (1997), pp. 99\u2013112.","DOI":"10.1023\/A:1004944015811"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Demri, S., \"A logic with relative knowledge operators\", <i>Journal of Logic, Language and Information<\/i>, vol. 8 (1999), pp. 167\u201385.","DOI":"10.1023\/A:1008227432405"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Edgington, D., \"The paradox of knowability\", <i>Mind<\/i>, vol. 94 (1985), pp. 557\u201368.","DOI":"10.1093\/mind\/XCIV.376.557"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Fine, K., \"Propositional quantifiers in modal logic\", <i>Theoria<\/i>, vol. 36 (1970), pp. 336\u201346.","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Fitch, F. B., \"A logical analysis of some value concepts\", <i>The Journal of Symbolic Logic<\/i>, vol. 28 (1963), pp. 135\u201342.","DOI":"10.2307\/2271594"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Halpern, J. Y., \u201cShould knowledge entail belief?\u201d <i>Journal of Philosophical Logic<\/i>, vol. 25 (1996), pp. 483\u201394.","DOI":"10.1007\/BF00257382"},{"key":"12","unstructured":"Hintikka, J., <i>Knowledge and B<\/i>elief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, 1962."},{"key":"14","doi-asserted-by":"publisher","unstructured":"Humberstone, I. L., \"Functional dependencies, supervenience, and consequence relations\", <i>Journal of Logic, Language and Information<\/i>, vol. 2 (1993), pp. 309\u201336.","DOI":"10.1007\/BF01181684"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Humberstone, L., \"Comparatives and the reducibility of relations\", <i>Pacific Philosophical Quarterly<\/i>, vol. 76 (1995), pp. 117\u201341.","DOI":"10.1111\/j.1468-0114.1995.tb00143.x"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Humberstone, L., \"The logic of non-contingency\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 214\u201329.","DOI":"10.1305\/ndjfl\/1040248455"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Humberstone, L., \"A study in philosophical taxonomy\", <i>Philosophical Studies<\/i>, vol. 83 (1996), pp. 121\u201369.","DOI":"10.1007\/BF00354286"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Humberstone, L., \"Singulary extensional connectives: A\" closer look, <i>Journal of Philosophical Logic<\/i>, vol. 26 (1997), pp. 341\u201356.","DOI":"10.1023\/A:1004240612163"},{"key":"19","unstructured":"Humberstone, L., \"Some structural and logical aspects of the notion of supervenience\", <i>Logique et Analyse<\/i>, vol. 35 (1992), pp. 101\u201337."},{"key":"20","doi-asserted-by":"publisher","unstructured":"Humberstone, L., \"Classes of valuations closed under operations G\"alois-dual to Boolean sentence connectives, <i>Kyoto University Research Institute for Mathematical Sciences Publications<\/i>, vol. 32 (1996), pp. 9\u201384.","DOI":"10.2977\/prims\/1195163180"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Humberstone, L., \"Parts and partitions\", <i>Theoria<\/i>, vol. 66 (2000), pp. 41\u201382.","DOI":"10.1111\/j.1755-2567.2000.tb01144.x"},{"key":"23","doi-asserted-by":"publisher","unstructured":"Lemmon, E. J., \"A note on H\"alld\u00e9n-incompleteness, <i>Notre Dame Journal of Formal Logic<\/i>, vol. 7 (1966), pp. 296\u2013300.","DOI":"10.1305\/ndjfl\/1093958745"},{"key":"24","unstructured":"Lewis, D., \",`W\"hether' report, pp. 194\u2013206 in <i>Philosophical E<\/i>ssays Dedicated to Lennart \u00c5qvist on his Fiftieth Birthday, edited by T. Pauli, University of Uppsala, Uppsala, 1982."},{"key":"25","doi-asserted-by":"crossref","unstructured":"Lewis, D., \"Statements partly about observation\", <i>Philosophical Papers<\/i>, vol. 17 (1988), pp. 1\u201331.","DOI":"10.1080\/05568648809506282"},{"key":"26","doi-asserted-by":"crossref","unstructured":"Lewis, D., \"Relevant implication\", <i>Theoria<\/i>, vol. 54 (1988), pp. 162\u201374.","DOI":"10.1111\/j.1755-2567.1988.tb00716.x"},{"key":"27","doi-asserted-by":"crossref","unstructured":"Lindstr \u00f6m, S., \"Situations, truth and knowability: A\" situation-theoretic analysis of a paradox by Fitch, pp. 183\u2013209 in <i>Logic, A<\/i>ction and Cognition (Ume\u00e5, 1993), Kluwer Academic Publishers, Dordrecht, 1997.","DOI":"10.1007\/978-94-011-5524-3_9"},{"key":"28","unstructured":"Montgomery, H., and R. Routley, \"Contingency and non-contingency bases for normal modal logics\", <i>Logique et Analyse<\/i>, vol. 9 (1966), pp. 318\u201328."},{"key":"29","doi-asserted-by":"publisher","unstructured":"Ono, K., \"Reduction of logics to the primitive logic\", <i>Journal of the Mathematical Society of Japan<\/i>, vol. 19 (1967), pp. 384\u201398.","DOI":"10.2969\/jmsj\/01930384"},{"key":"30","doi-asserted-by":"publisher","unstructured":"Ono, K., \"A study on formal deductions in the primitive logic\", <i>Nagoya Mathematical Journal<\/i>, vol. 31 (1968), pp. 1\u201314.","DOI":"10.1017\/S0027763000012587"},{"key":"31","unstructured":"Prior, A. N., <i>Formal L<\/i>ogic, 2d edition, Clarendon Press, Oxford, 1962."},{"key":"32","doi-asserted-by":"publisher","unstructured":"Rabinowicz, W., and K. Segerberg, \"Actual truth, possible knowledge\", <i>Topoi<\/i>, vol. 13 (1994), pp. 101\u201315.","DOI":"10.1007\/BF00763509"},{"key":"33","unstructured":"Sorensen, R., <i>Blindspots<\/i>, Clarendon Press, Oxford, 1988."},{"key":"34","unstructured":"van Benthem, J., <i>Modal L<\/i>ogic and Classical Logic, Indices: Monographs in Philosophical Logic and Formal Linguistics III, Bibliopolis, Naples, 1985."},{"key":"35","doi-asserted-by":"publisher","unstructured":"von Kutschera, F., \"Global supervenience and belief\", <i>Journal of Philosophical Logic<\/i>, vol. 23 (1994), pp. 103\u201310.","DOI":"10.1007\/BF01417960"},{"key":"36","doi-asserted-by":"publisher","unstructured":"Williamson, T., \"Invertible definitions\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 28 (1987), pp. 244\u201358.","DOI":"10.1305\/ndjfl\/1093636942"},{"key":"37","doi-asserted-by":"publisher","unstructured":"Zolin, E. E., \"Completeness and definability in the logic of noncontingency\", <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.1305\/ndjfl\/1071509431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:55Z","timestamp":1706648155000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-2\/The-Modal-Logic-of-Agreement-and-Noncontingency\/10.1305\/ndjfl\/1071509431.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4,1]]},"references-count":37,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2002,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1071509431","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4,1]]}}}