{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T15:53:27Z","timestamp":1721922807784},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T00:00:00Z","timestamp":1340755200000},"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,2]]},"DOI":"10.1007\/s11225-011-9366-7","type":"journal-article","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T09:55:32Z","timestamp":1340790932000},"page":"31-44","source":"Crossref","is-referenced-by-count":4,"title":["A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic"],"prefix":"10.1007","volume":"101","author":[{"given":"Vedran","family":"\u010ca\u010di\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domagoj","family":"Vrgo\u010d","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,27]]},"reference":[{"key":"9366_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9366_CR2","unstructured":"de Jonge, R., IL\u2013modellen en bisimulaties, preprint X-2004-06, ILLC, Amsterdam, 2004. http:\/\/www.illc.uva.nl\/Publications\/ ."},{"key":"9366_CR3","doi-asserted-by":"crossref","unstructured":"de Jongh, D., and F. Veltman, Provability logics for relative interpretability, in P. P. Petkov (ed.), Mathematical Logic, Proceedings of the 1988 Heyting Conference, Plenum Press, New York, 1990, pp. 31\u201342.","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"9366_CR4","doi-asserted-by":"crossref","unstructured":"Goranko, V., and M. Otto, Modal theory of modal logic, in Handbook of Modal Logic, Elsevier, 2006.","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"9366_CR5","doi-asserted-by":"crossref","unstructured":"Visser, A., Interpretability logic, in P. P. Petkov (ed.), Mathematical Logic, Proceedings of the 1988 Heyting Conference, Plenum Press, New York, 1990, pp. 175\u2013210.","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"9366_CR6","unstructured":"Visser, A., An overview of interpretability logic, in K. Marcus et\u00a0al. (eds.), Advances in Modal Logic. Vol. 1. Selected Papers from the 1st International Workshop (AiML\u201996), Berlin, Germany, October 1996, CSLI Publications, Stanford, CA, CSLI Lect. Notes. Vol. 87, 1998, pp. 307\u2013359."},{"key":"9366_CR7","unstructured":"Vrgo\u010d, D., and M. Vukovi\u0107, Bisimulation quotients of Veltman models, Reports on Mathematical Logic, to appear."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9366-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9366-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9366-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T05:21:30Z","timestamp":1561872090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9366-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,27]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["9366"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9366-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,27]]}}}