{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:38:52Z","timestamp":1783643932568,"version":"3.55.0"},"reference-count":5,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2010,12,1]]},"DOI":"10.1093\/jigpal\/jzp067","type":"journal-article","created":{"date-parts":[[2009,11,27]],"date-time":"2009-11-27T18:37:03Z","timestamp":1259347023000},"page":"870-880","source":"Crossref","is-referenced-by-count":9,"title":["Bisimulations and bisimulation quotients of generalized Veltman models"],"prefix":"10.1093","volume":"18","author":[{"given":"D.","family":"Vrgoc","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Vukovic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2009,11,26]]},"reference":[{"key":"7_31944912","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00370385","volume":"50","year":"1991","journal-title":"STUDIA LOGICA"},{"key":"9_38417556","first-page":"307","volume":"87","year":"1998","journal-title":"ADVANCES IN MODAL LOGIC VOL SELECTED PAPERS FROM THE ST INTERNATIONAL WORKSHOP AIML BERLIN GERMANY OCTOBER"},{"key":"12_36059099","first-page":"7","volume":"341","year":"2000","journal-title":"GRAZER MATHEMATISCHE BERICHTE"},{"key":"13_36059100","first-page":"195","volume":"34","year":"2005","journal-title":"BULLETIN OF THE SECTION OF LOGIC"},{"key":"14_36059101","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1002\/malq.200710050","volume":"54","year":"2008","journal-title":"MATHEMATICAL LOGIC QUARTERLY"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/18\/6\/870\/2396734\/jzp067.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T16:03:08Z","timestamp":1551024188000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzp067"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,26]]},"references-count":5,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2010,10,29]]},"published-print":{"date-parts":[[2010,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzp067","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,26]]}}}