{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T17:16:29Z","timestamp":1714756589271},"reference-count":7,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.297-309","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:06:10Z","timestamp":1176296770000},"page":"297-309","source":"Crossref","is-referenced-by-count":2,"title":["\u03bc-programs, uniform interpolation and bisimulation quantifiers for modal logics \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"Giovanna","family":"D'Agostino","sequence":"first","affiliation":[{"name":"a  University of Udine,  Department of Mathematics and Computer Science  , Viale delle Scienze 206,  33100 ,  Udine ,  Italy"}]},{"given":"Giacomo","family":"Lenzi","sequence":"additional","affiliation":[{"name":"b  University of Pisa,  Department of Mathematics  , Via Buonarroti 2,  56127 ,  Pisa ,  Italy"}]},{"given":"Tim","family":"French","sequence":"additional","affiliation":[{"name":"c  The University of Western Australia,  School of Computer Science and Software Engineering  , 35 Stirling Highway,  6009 ,  Perth ,  Western Australia"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.2307\/2586539"},{"key":"CIT0002","volume-title":"A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames","author":"D'AGOSTINO G.","year":"2006"},{"key":"CIT0003","volume-title":"Bisimulation Quantifiers for Modal Logics","author":"FRENCH T.","year":"2006"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01061237"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9936-8"},{"key":"CIT0006","volume-title":"Logic and Bisimulation","author":"HOLLENBERG M.","year":"1998"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21963-8_9"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.297-309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:31:15Z","timestamp":1498228275000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.297-309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":7,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.297-309"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.297-309","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}