{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:08Z","timestamp":1725902648274},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_25","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"349-357","source":"Crossref","is-referenced-by-count":1,"title":["Substructural Logics with a Reflexive Transitive Closure Modality"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1942-7982","authenticated-orcid":false,"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"issue":"6","key":"25_CR1","doi-asserted-by":"crossref","first-page":"1815","DOI":"10.1093\/logcom\/exv009","volume":"26","author":"M B\u00edlkov\u00e1","year":"2016","unstructured":"B\u00edlkov\u00e1, M., Majer, O., Peli\u0161, M.: Epistemic logics for sceptical agents. J. Logic Comput. 26(6), 1815\u20131841 (2016)","journal-title":"J. Logic Comput."},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-01748-3_4","volume-title":"Languages: From Formal to Natural","author":"W Buszkowski","year":"2009","unstructured":"Buszkowski, W., Farulewski, M.: Nonassociative lambek calculus with additives and context-free languages. In: Grumberg, O., Kaminski, M., Katz, S., Wintner, S. (eds.) Languages: From Formal to Natural. LNCS, vol. 5533, pp. 45\u201358. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01748-3_4"},{"issue":"3","key":"25_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02429840","volume":"43","author":"M Bo\u017ei\u0107","year":"1984","unstructured":"Bo\u017ei\u0107, M., Do\u0161en, K.: Models for normal intuitionistic modal logics. Stud. Logica. 43(3), 217\u2013245 (1984)","journal-title":"Stud. Logica."},{"key":"25_CR4","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"issue":"4","key":"25_CR5","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF00370161","volume":"49","author":"A Fuhrmann","year":"1990","unstructured":"Fuhrmann, A.: Models for relevant modal logics. Stud. Logica. 49(4), 501\u2013514 (1990)","journal-title":"Stud. Logica."},{"key":"25_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"C","key":"25_CR7","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/j.jal.2016.04.004","volume":"18","author":"G J\u00e4ger","year":"2016","unstructured":"J\u00e4ger, G., Marti, M.: Intuitionistic common knowledge or belief. J. Appl. Logic 18(C), 150\u2013163 (2016)","journal-title":"J. Appl. Logic"},{"key":"25_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant Logic: A Philosophical Interpretation","author":"E Mares","year":"2004","unstructured":"Mares, E.: Relevant Logic: A Philosophical Interpretation. Cambridge University Press, Cambridge (2004)"},{"key":"25_CR9","volume-title":"An Introduction to Substructural Logics","author":"G Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)"},{"issue":"3","key":"25_CR10","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","volume":"25","author":"I Sedl\u00e1r","year":"2015","unstructured":"Sedl\u00e1r, I.: Substructural epistemic logics. J. Appl. Non-Class. Logics 25(3), 256\u2013285 (2015)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"25_CR11","first-page":"503","volume-title":"Advances in Modal Logic 2016","author":"I Sedl\u00e1r","year":"2016","unstructured":"Sedl\u00e1r, I.: Propositional dynamic logic with Belnapian truth values. In: Beklemishev, L., Demri, S., M\u00e1t\u00e9, A. (eds.) Advances in Modal Logic 2016, pp. 503\u2013519. College Publications, London (2016)"},{"issue":"1","key":"25_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s11229-010-9834-z","volume":"190","author":"S Sequoiah-Grayson","year":"2013","unstructured":"Sequoiah-Grayson, S.: Epistemic closure and commutative, nonassociative residuated structures. Synthese 190(1), 113\u2013128 (2013)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T05:19:32Z","timestamp":1569561572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}