{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T01:11:44Z","timestamp":1747185104842},"reference-count":14,"publisher":"Wiley","issue":"4-5","license":[{"start":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T00:00:00Z","timestamp":1469404800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2016,8]]},"abstract":"<jats:p>The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201500030-math-0001.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201500030:malq201500030-math-0001\" \/> with respect to Veltman models, and we prove the finite model property of the systems <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201500030-math-0002.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201500030:malq201500030-math-0002\" \/> and <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201500030-math-0003.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201500030:malq201500030-math-0003\" \/> with respect to generalized Veltman models.<\/jats:p>","DOI":"10.1002\/malq.201500030","type":"journal-article","created":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T06:38:38Z","timestamp":1469428718000},"page":"412-419","source":"Crossref","is-referenced-by-count":9,"title":["Filtrations of generalized Veltman models"],"prefix":"10.1002","volume":"62","author":[{"given":"Tin","family":"Perkov","sequence":"first","affiliation":[{"name":"Tehni\u010dko Veleu\u010dili\u0161te u Zagrebu Avenija Ve\u0107eslava Holjeva 15 10000 Zagreb Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mladen","family":"Vukovi\u0107","sequence":"additional","affiliation":[{"name":"Department of Mathematics Sveu\u010dili\u0161te u Zagrebu Bijeni\u010dka cesta 30 10000 Zagreb Croatia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2016,7,25]]},"reference":[{"key":"e_1_2_5_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274474"},{"key":"e_1_2_5_3_1","volume-title":"Cambridge Tracts in Theoretical Computer Science Vol. 53","author":"Blackburn P.","year":"2001"},{"key":"e_1_2_5_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9366-7"},{"key":"e_1_2_5_5_1","doi-asserted-by":"crossref","unstructured":"D.deJonghandF.Veltman Provability logics for relative interpretability In:Mathematical logic Proceedings of the Heyting '88 Summer School held in Chaika September 13\u201323 1988 edited byP. P.Petkov (Plenum Press 1990) pp.31\u201342.","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"e_1_2_5_6_1","first-page":"249","volume-title":"Studies in Logic & Practical Reasoning","author":"Goranko V.","year":"2006"},{"key":"e_1_2_5_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzn013"},{"key":"e_1_2_5_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp082"},{"key":"e_1_2_5_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80022-0"},{"key":"e_1_2_5_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzu015"},{"key":"e_1_2_5_11_1","first-page":"289","volume-title":"Advances in modal logic. Volume 5. Papers from the Fifth Conference (AiML 2004) held in Manchester, September 2004","author":"Shehtman V.","year":"2005"},{"key":"e_1_2_5_12_1","doi-asserted-by":"crossref","unstructured":"A.Visser Interpretability logic In:Mathematical logic. Proceedings of the Heyting '88 Summer School held in Chaika September 13\u201323 1988 edited byP. P.Petkov (Plenum Press 1990) pp.175\u2013210.","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"e_1_2_5_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp067"},{"key":"e_1_2_5_14_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1038949538"},{"key":"e_1_2_5_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710050"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201500030","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201500030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T14:05:00Z","timestamp":1696341900000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201500030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,25]]},"references-count":14,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["10.1002\/malq.201500030"],"URL":"https:\/\/doi.org\/10.1002\/malq.201500030","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,25]]}}}