{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T01:11:08Z","timestamp":1747185068285},"reference-count":8,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2008,7,10]],"date-time":"2008-07-10T00:00:00Z","timestamp":1215648000000},"content-version":"vor","delay-in-days":9,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2008,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image\u2010finite generalized Veltman model<jats:italic>W<\/jats:italic> there is a Veltman model <jats:italic>W<\/jats:italic> \u2032 that is bisimular to <jats:italic>W<\/jats:italic>. (\u00a9 2008 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200710050","type":"journal-article","created":{"date-parts":[[2008,7,10]],"date-time":"2008-07-10T09:52:26Z","timestamp":1215683546000},"page":"368-373","source":"Crossref","is-referenced-by-count":8,"title":["Bisimulations between generalized Veltman models and Veltman models"],"prefix":"10.1002","volume":"54","author":[{"given":"Mladen","family":"Vukovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2008,7,10]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"R.de Jonge IL\u2010modellen en bisimulaties (in Dutch). Preprint X\u20102004\u201006 ILLC Amsterdam 2004. Available athttp:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/X\u20102004\u201006.text.pdf."},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"D.de Jongh andF.Veltman Provability logics for relative interpretability. In: Mathematical Logic Proceedings of the 1988 Heyting Conference (P. P. Petkov ed.) pp. 31\u201342 (Plenum Press 1990).","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"e_1_2_1_4_2","unstructured":"E.Goris andJ.Joosten Modal matters in interpretability logic. Logic Group Preprint Series 226 Department of Philosophy University of Utrecht 2004. Available athttp:\/\/www.phil.uu.nl\/preprints\/preprints\/PREPRINTS\/preprint226.pdf."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"e_1_2_1_6_2","unstructured":"R.Verbrugge Generalized Veltman frames and models. Manuscript Amsterdam 1992."},{"key":"e_1_2_1_7_2","unstructured":"A.Visser An overview of interpretability logic. In: Advances in Modal Logic. Vol. 1. Selected Papers from the 1st International Workshop (AiML'96) Berlin Germany October 1996 Stanford CA (M. Kracht et al. eds.) pp. 307\u2013359. CSLI Lecture Notes 87 (CSLI Publications 1998)."},{"key":"e_1_2_1_8_2","first-page":"193","article-title":"Some correspondences of principles in interpretability logic","volume":"31","author":"Vukovi\u0107 M.","year":"1996","journal-title":"Glasnik Matemati\u010dki"},{"key":"e_1_2_1_9_2","first-page":"195","article-title":"Hennessy\u2010Milner theorem for interpretability logic","volume":"34","author":"Vukovi\u0107 M.","year":"2005","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200710050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200710050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T13:50:14Z","timestamp":1699969814000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200710050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["10.1002\/malq.200710050"],"URL":"https:\/\/doi.org\/10.1002\/malq.200710050","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}