{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T13:51:40Z","timestamp":1746193900825},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,12,4]],"date-time":"2012-12-04T00:00:00Z","timestamp":1354579200000},"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":[[2013,10]]},"DOI":"10.1007\/s11225-012-9433-8","type":"journal-article","created":{"date-parts":[[2012,12,3]],"date-time":"2012-12-03T11:32:21Z","timestamp":1354534341000},"page":"1115-1141","source":"Crossref","is-referenced-by-count":4,"title":["Some Metacomplete Relevant Modal Logics"],"prefix":"10.1007","volume":"101","author":[{"given":"Takahiro","family":"Seki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,4]]},"reference":[{"key":"9433_CR1","unstructured":"Brady R. T. (ed.), Relevant Logics and Their Rivals, Volume II, Ashgate Publishing Limited, Aldershot, 2003."},{"key":"9433_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logics","author":"A. V. Chagrov","year":"1997","unstructured":"Chagrov A. V., Zakharyaschev M. V.: Modal Logics. Clarendon Press, Oxford (1997)"},{"key":"9433_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2963675","volume":"27","author":"S. C. Kleene","year":"1962","unstructured":"Kleene S. C.: Disjunction and existence under implication in elementary intuitionistic formalisms. Journal of Symbolic Logic 27, 11\u201318 (1962)","journal-title":"Journal of Symbolic Logic"},{"key":"9433_CR4","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1305\/ndjfl\/1093887722","volume":"17","author":"R. K. Meyer","year":"1976","unstructured":"Meyer R. K.: Metacompleteness. Notre Dame Journal of Formal Logic 17, 501\u2013516 (1976)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9433_CR5","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1023335229747","volume":"73","author":"T. Seki","year":"2003","unstructured":"Seki T.: A Sahlqvist theorem for relevant modal logics. Studia Logica 73, 383\u2013411 (2003)","journal-title":"Studia Logica"},{"key":"9433_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11225-011-9306-6","volume":"97","author":"T. Seki","year":"2011","unstructured":"Seki T.: The \u03b3-admissibility of relevant modal logics I\u2014the method of normal models. Studia Logica 97, 199\u2013231 (2011)","journal-title":"Studia Logica"},{"key":"9433_CR7","first-page":"375","volume":"97","author":"T. Seki","year":"2011","unstructured":"Seki T.: The \u03b3-admissibility of relevant modal logics II\u2014the method using metavaluations. Studia Logica 97, 375\u2013407 (2011)","journal-title":"Studia Logica"},{"issue":"6","key":"9433_CR8","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1007\/s11225-012-9459-y","volume":"100","author":"T. Seki","year":"2012","unstructured":"Seki T.: An algebraic proof of the admissibility of \u03b3 in relevant modal logics. Studia Logica 100(6), 1149\u20131174 (2012)","journal-title":"Studia Logica"},{"key":"9433_CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00935747","volume":"43","author":"J.K. Slaney","year":"1984","unstructured":"Slaney J.K.: A Metacompleteness theorem for contraction-free relevant logics. Studia Logica 43, 159\u2013168 (1984)","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9433-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9433-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9433-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T11:07:08Z","timestamp":1714648028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9433-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,4]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["9433"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9433-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,4]]}}}