{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T13:52:06Z","timestamp":1746193926212},"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":[[2015,1,1]]},"DOI":"10.1215\/00294527-2864334","type":"journal-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T13:29:23Z","timestamp":1429277363000},"source":"Crossref","is-referenced-by-count":4,"title":["Halld\u00e9n Completeness for Relevant Modal Logics"],"prefix":"10.1215","volume":"56","author":[{"given":"Takahiro","family":"Seki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Chellas, B. F., <i>Modal Logic: An Introduction<\/i>, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"2","unstructured":"[2] Mares, E. D., \u201cThe semantic completeness of RK,\u201d <i>Reports on Mathematical Logic<\/i>, vol. 26 (1992), pp. 3\u201310."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Mares, E. D., \u201cClassically complete modal relevant logics,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 39 (1993), pp. 165\u201377.","DOI":"10.1002\/malq.19930390119"},{"key":"4","unstructured":"[4] Mares, E. D., \u201cHalld\u00e9n-completeness and modal relevant logic,\u201d <i>Logique et Analyse (N. S.)<\/i>, vol. 181 (2003), pp. 59\u201376."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Routley, R., and R. K. Meyer, \u201cThe semantics of entailment, III,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 1 (1972), pp. 192\u2013208.","DOI":"10.1007\/BF00650498"},{"key":"6","unstructured":"[6] Routley, R., V. Plumwood, R. K. Meyer, and R. T. Brady, <i>Relevant Logics and Their Rivals, I<\/i>, Ridgeview Publishing Company, Atascadero, Calif., 1982."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Seki, T., \u201cA Sahlqvist theorem for relevant modal logics,\u201d <i>Studia Logica<\/i>, vol. 73 (2003), pp. 383\u2013411.","DOI":"10.1023\/A:1023335229747"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Seki, T., \u201cGeneral frames for relevant modal logics,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 44 (2003), pp. 93\u2013109.","DOI":"10.1305\/ndjfl\/1082637806"},{"key":"9","unstructured":"[9] Seki, T., \u201cCompleteness of relevant modal logics with disjunctive rules,\u201d <i>Reports on Mathematical Logic<\/i>, vol. 44 (2009), pp. 3\u201318."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] van Benthem, J. F. A. K., 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\u201330.","DOI":"10.1305\/ndjfl\/1093870446"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2864334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:29Z","timestamp":1706648309000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-56\/issue-2\/Halld%c3%a9n-Completeness-for-Relevant-Modal-Logics\/10.1215\/00294527-2864334.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":10,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2015,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2864334","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}