{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:01:15Z","timestamp":1757311275442,"version":"3.43.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1023\/a:1023335229747","type":"journal-article","created":{"date-parts":[[2003,6,6]],"date-time":"2003-06-06T13:40:40Z","timestamp":1054906840000},"page":"383-411","source":"Crossref","is-referenced-by-count":21,"title":["A Sahlqvist Theorem for Relevant Modal Logics"],"prefix":"10.1007","volume":"73","author":[{"given":"Takahiro","family":"Seki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5124006_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 1997."},{"key":"5124006_CR2","doi-asserted-by":"crossref","unstructured":"Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"5124006_CR3","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF00370161","volume":"49","author":"A. Fuhrmann","year":"1990","unstructured":"Fuhrmann, A., \u2018Models for relevant modal logics\u2019, Studia Logica 49 (1990), 501-514.","journal-title":"Studia Logica"},{"key":"5124006_CR4","first-page":"3","volume":"26","author":"E. D. Mares","year":"1992","unstructured":"Mares, E. D., \u2018The semantic completeness of RK\u2019, Reports on Mathematical Logic 26 (1992), 3-10.","journal-title":"Reports on Mathematical Logic"},{"key":"5124006_CR5","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 (1993), 165-177.","journal-title":"Mathematical Logic Quarterly"},{"key":"5124006_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1305\/ndjfl\/1093636096","volume":"33","author":"E. D. Mares","year":"1992","unstructured":"Mares, E. D., and R. K. Meyer, \u2018The admissibility of \u03b3 in R4\u2019, Notre Dame Journal of Formal Logic 33 (1992) 197-206.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5124006_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01049182","volume":"22","author":"E. D. Mares","year":"1993","unstructured":"Mares, E. D., and R. K. Meyer, \u2018The semantics of R4\u2019, Journal of Philosophical Logic 22 (1993), 95-110.","journal-title":"Journal of Philosophical Logic"},{"key":"5124006_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/oso\/9780198537779.003.0009","volume-title":"Substructural Logics","author":"R. K. Meyer","year":"1993","unstructured":"Meyer, R. K., and E. D. Mares, \u2018The semantics of entailment 0\u2019, in P. Schroeder-Heister and K. Do\u0161en, editors, Substructural Logics, pages 239-258, Clarendon Press, Oxford, 1993."},{"key":"5124006_CR9","first-page":"407","volume":"15","author":"R. K. Meyer","year":"1972","unstructured":"Meyer, R. K., and R. Routley, \u2018Algebraic analysis of entailment I\u2019, Logique et Analyse 15 (1972), 407-428.","journal-title":"Logique et Analyse"},{"key":"5124006_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley, R., and R. K. Meyer, \u2018The semantics of entailment II\u2019, Journal of Philosophical Logic 1 (1972), 53-73.","journal-title":"Journal of Philosophical Logic"},{"key":"5124006_CR11","volume-title":"Relevant Logics and Their Rivals I","author":"R. Routley","year":"1982","unstructured":"Routley, R., V. Plumwood, R. K. Meyer, and R. T. Brady, Relevant Logics and Their Rivals I, Ridgeview Publishing Company, Atascadero, 1982."},{"key":"5124006_CR12","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0049-237X(08)70728-6","volume-title":"Proceedings of the third Scandinavian logic symposium","author":"H. Sahlqvist","year":"1975","unstructured":"Sahlqvist, H., \u2018Completeness and correspondence in the first and second order semantics for modal logic\u2019, in S. Kanger, editor, Proceedings of the third Scandinavian logic symposium, pages 110-143, North-Holland, Amsterdam, 1975."},{"key":"5124006_CR13","doi-asserted-by":"crossref","first-page":"992","DOI":"10.2307\/2274758","volume":"54","author":"G. Sambin","year":"1989","unstructured":"Sambin, G., and V. Vaccaro, \u2018A new proof of Sahlqvist's theorem on modal definability and completeness\u2019, The Journal of Symbolic Logic 54 (1989), 992-999.","journal-title":"The Journal of Symbolic Logic"},{"key":"5124006_CR14","unstructured":"Seki, T., \u2018General frames for relevant modal logics\u2019, in preparation."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023335229747.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1023335229747\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023335229747.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:14:08Z","timestamp":1754630048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1023335229747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["5124006"],"URL":"https:\/\/doi.org\/10.1023\/a:1023335229747","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}