{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:03:08Z","timestamp":1751515388873},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T00:00:00Z","timestamp":1297987200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11225-011-9306-6","type":"journal-article","created":{"date-parts":[[2011,2,17]],"date-time":"2011-02-17T05:59:06Z","timestamp":1297922346000},"page":"199-231","source":"Crossref","is-referenced-by-count":6,"title":["The \u03b3-admissibility of Relevant Modal Logics I \u2014 The Method of Normal Models"],"prefix":"10.1007","volume":"97","author":[{"given":"Takahiro","family":"Seki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,2,18]]},"reference":[{"key":"9306_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2268750","volume":"21","author":"W. Ackermann","year":"1956","unstructured":"Ackermann W.: \u2018Begr\u00fcndung einer strengen Implikation\u2019. Journal of Symbolic Logic 21, 113\u2013128 (1956)","journal-title":"Journal of Symbolic Logic"},{"key":"9306_CR2","doi-asserted-by":"crossref","unstructured":"Dunn, J.M., and G. Restall, \u2018Relevance logic\u2019, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, Vol. 6, pp.1\u2013128, Kluwer, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"9306_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/malq.19930390119","volume":"39","author":"E.D. Mares","year":"1993","unstructured":"Mares E.D.: \u2018Classically complete modal relevant logics\u2019. Mathematical Logic Quarterly 39, 165\u2013177 (1993)","journal-title":"Mathematical Logic Quarterly"},{"key":"9306_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1305\/ndjfl\/1093636096","volume":"33","author":"E.D. Mares","year":"1992","unstructured":"Mares E.D., Meyer R.K.: \u2018The admissibility of \u03b3 in R4\u2019. Notre Dame Journal of Formal Logic 33, 197\u2013206 (1992)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9306_CR5","first-page":"138","volume":"5","author":"R.K. Meyer","year":"1976","unstructured":"Meyer R.K.: \u2018Ackermann, Takeuti, and Schnitt; \u03b3 for higher-order relevant logics\u2019. Bulletin of the Section of Logic 5, 138\u2013144 (1976)","journal-title":"Bulletin of the Section of Logic"},{"key":"9306_CR6","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"R.K. Meyer","year":"1969","unstructured":"Meyer R.K., Dunn J.M.: \u2018E, R and \u03b3\u2019. Journal of Symbolic Logic 34, 460\u2013474 (1969)","journal-title":"Journal of Symbolic Logic"},{"key":"9306_CR7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02429841","volume":"43","author":"R.K. Meyer","year":"1984","unstructured":"Meyer R.K., Giambrone S., Brady R.T.: \u2018Where gamma fails\u2019. Studia Logica 43, 247\u2013256 (1984)","journal-title":"Studia Logica"},{"key":"9306_CR8","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley R., Meyer R.K.: \u2018The semantics of entailment II\u2019. Journal of Philosophical Logic 1, 192\u2013208 (1972)","journal-title":"Journal of Philosophical Logic"},{"key":"9306_CR9","first-page":"194","volume-title":"Truth, Syntax and Semantics","author":"R. Routley","year":"1973","unstructured":"Routley R., Meyer R.K.: \u2018The semantics of entailment I\u2019. In: Leblanc, H. (ed.) Truth, Syntax and Semantics, pp. 194\u2013243. North-Holland, Amsterdam (1973)"},{"key":"9306_CR10","volume-title":"Relevant Logics and Their Rivals I","author":"R. Routley","year":"1982","unstructured":"Routley R., Plumwood V., Meyer R.K., Brady R.T.: Relevant Logics and Their Rivals I. Ridgeview Publishing Company, Atascadero (1982)"},{"key":"9306_CR11","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1023335229747","volume":"73","author":"T. Seki","year":"2003","unstructured":"Seki T.: \u2018A Sahlqvist theorem for relevant modal logics\u2019. Studia Logica 73, 383\u2013411 (2003)","journal-title":"Studia Logica"},{"key":"9306_CR12","first-page":"3","volume":"44","author":"T. Seki","year":"2009","unstructured":"Seki T.: \u2018Completeness of relevant modal logics with disjunctive rules\u2019. Reports on Mathematical Logic 44, 3\u201318 (2009)","journal-title":"Reports on Mathematical Logic"},{"key":"9306_CR13","unstructured":"Seki, T., \u2018The \u03b3-admissibility of relevant modal logics II\u2014the method using metavaluations\u2019, Studia Logica, to appear."},{"key":"9306_CR14","unstructured":"Seki, T., \u2018Some metacomplete relevant modal logics\u2019, in preparation."},{"key":"9306_CR15","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00935747","volume":"43","author":"J.K. Slaney","year":"1984","unstructured":"Slaney J.K.: \u2018A Metacompleteness theorem for contraction-free relevant logics\u2019. Studia Logica 43, 159\u2013168 (1984)","journal-title":"Studia Logica"},{"key":"9306_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"J.K. Slaney","year":"1987","unstructured":"Slaney J.K.: \u2018Reduced models for relevant logics without WI\u2019. Notre Dame Journal of Formal Logic 28, 395\u2013407 (1987)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9306-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9306-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9306-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T12:12:34Z","timestamp":1559995954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9306-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,18]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9306"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9306-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,18]]}}}