{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:35Z","timestamp":1706649035368},"reference-count":12,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,4,1]]},"DOI":"10.1215\/00294527-2009-001","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T14:11:17Z","timestamp":1257948677000},"source":"Crossref","is-referenced-by-count":1,"title":["Collapsing Modalities"],"prefix":"10.1215","volume":"50","author":[{"given":"Lloyd","family":"Humberstone","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Bellissima, F., and M. Mirolli, \"A general treatment of equivalent modalities\", <i>The Journal of Symbolic Logic<\/i>, vol. 54 (1989), pp. 1460--71.","DOI":"10.2307\/2274826"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] van Benthem, J. F. A. K., \"Modal reduction principles\", <i>The Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 301--12.","DOI":"10.2307\/2272228"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Fitch, F. B., \"A correlation between modal reduction principles and properties of relations\", <i>Journal of Philosophical Logic<\/i>, vol. 2 (1973), pp. 97--101.","DOI":"10.1007\/BF02115611"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Giesl, J., and D. Kapur, \"Dependency pairs for equational rewriting\", pp. 93--107 in <i>Rewriting Techniques and Applications (Utrecht, 2001)<\/i>, edited by A. Middeldorp, vol. 2051 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2001.","DOI":"10.1007\/3-540-45127-7_9"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Humberstone, L., \"Negation by iteration\", <i>Theoria<\/i>, vol. 61 (1995), pp. 1--24.","DOI":"10.1111\/j.1755-2567.1995.tb00489.x"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Humberstone, L., \"Two-dimensional adventures\", <i>Philosophical Studies<\/i>, vol. 118 (2004), pp. 17--65.","DOI":"10.1023\/B:PHIL.0000019542.43440.d1"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Humberstone, L., and T. Williamson, \"Inverses for normal modal operators\", <i>Studia Logica<\/i>, vol. 59 (1997), pp. 33--64.","DOI":"10.1023\/A:1004995316790"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Parry, W. T., \"Modalities in the <i>s<\/i>urvey\" system of strict implication, <i>The Journal of Symbolic Logic<\/i>, vol. 4 (1939), pp. 137--54.","DOI":"10.2307\/2268714"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Williamson, T., \"Two incomplete anti-realist modal epistemic logics\", <i>The Journal of Symbolic Logic<\/i>, vol. 55 (1990), pp. 297--314.","DOI":"10.2307\/2274969"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Williamson, T., \"Continuum many maximal consistent normal bimodal logics with inverses\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 39 (1998), pp. 128--34.","DOI":"10.1305\/ndjfl\/1039293024"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Chellas, B. F., <i>Modal Logic. An Introduction<\/i>, Cambridge University Press, Cambridge, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"3","unstructured":"[3] Chellas, B., \"Modalities in normal systems containing the <b>S5<\/b> axiom\", pp. 261--65 in <i>Intention and Intentionality: Essays in Honour of G. E. M. Anscombe<\/i>, edited by C. Diamond and J. Teichman, Harvester Press, Brighton, 1979."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:14Z","timestamp":1706648234000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-2\/Collapsing-Modalities\/10.1215\/00294527-2009-001.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,1]]},"references-count":12,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2009,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-001","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}