{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T07:58:38Z","timestamp":1702454318922},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"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":[[2011,8]]},"DOI":"10.1007\/s11225-011-9339-x","type":"journal-article","created":{"date-parts":[[2011,8,11]],"date-time":"2011-08-11T09:32:54Z","timestamp":1313055174000},"page":"347-373","source":"Crossref","is-referenced-by-count":10,"title":["On the Modal Definability of Simulability by Finite Transitive Models"],"prefix":"10.1007","volume":"98","author":[{"given":"David","family":"Fern\u00e1ndez Duque","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,8,12]]},"reference":[{"key":"9339_CR1","unstructured":"Aiello, M., and J. van Benthem, \u2018Logical patterns in space\u2019, in University of Amsterdam, 1999, pp. 5\u201325."},{"key":"9339_CR2","first-page":"501","volume":"2","author":"P. Aleksandroff","year":"1937","unstructured":"Aleksandroff P.: \u2018Diskrete r\u00e4ume\u2019. Matematicheskii Sbornik 2, 501\u2013518 (1937)","journal-title":"Matematicheskii Sbornik"},{"issue":"3","key":"9339_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka H., Van Benthem J., N\u00e9meti I.: \u2018Modal languages and bounded fragments of predicate logic\u2019. Journal of Philosophical Logic 27(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"9339_CR4","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1004268613379","volume":"27","author":"J. Barwise","year":"1998","unstructured":"Barwise J., Moss L.S.: \u2018Modal correspondence for models\u2019. Journal of Philosophical Logic 27, 275\u2013294 (1998) 10.1023\/A:1004268613379","journal-title":"Journal of Philosophical Logic"},{"key":"9339_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9339_CR6","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1090\/S0002-9904-1977-14316-4","volume":"83","author":"W.W. Comfort","year":"1977","unstructured":"Comfort W.W.: \u2018Ultrafilters: Some old and some new results\u2019. Bull. Amer. Math. Soc. 83, 417\u2013455 (1977)","journal-title":"Bull. Amer. Math. Soc."},{"key":"9339_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2009.04.002","volume":"161","author":"A. Dawar","year":"2009","unstructured":"Dawar A., Otto M.: \u2018Modal characterisation theorems over special classes of frames\u2019. Annals of Pure and Applied Logic 161, 1\u201342 (2009) Extended journal version LICS 2005 paper","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2-3","key":"9339_CR8","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/j.apal.2008.09.015","volume":"157","author":"D. Fern\u00e1ndez-Duque","year":"2009","unstructured":"Fern\u00e1ndez-Duque D.: \u2018Non-deterministic semantics for dynamic topological logic\u2019. Annals of Pure and Applied Logic 157(2-3), 110\u2013121 (2009) Kurt G\u00f6del Centenary Research Prize Fellowships","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1-3","key":"9339_CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.apal.2006.01.001","volume":"142","author":"D. Gabelaia","year":"2006","unstructured":"Gabelaia D., Kurucz A., Wolter F., Zakharyaschev M.: \u2018Non-primitive recursive decidability of products of modal logics with expanding domains\u2019. Annals of Pure and Applied Logic 142(1-3), 245\u2013268 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9339_CR10","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen D.: \u2018Results on the propositional\u00a0\u03bc-calculus\u2019. Theor. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9339_CR11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00370554","volume":"47","author":"D. Kozen","year":"1988","unstructured":"Kozen D.: \u2018A finite model theorem for the propositional\u00a0\u03bc-calculus\u2019. Studia Logica 47(3), 233\u2013241 (1988)","journal-title":"Studia Logica"},{"issue":"2","key":"9339_CR12","first-page":"210","volume":"95","author":"J.B. Kruskal","year":"1960","unstructured":"Kruskal J.B.: \u2018Well-quasi-ordering, the tree theorem, and vazsonyi\u2019s conjecture\u2019. Transactions of the American Mathematical Society 95(2), 210\u2013225 (1960)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9339_CR13","doi-asserted-by":"crossref","unstructured":"Streett, R. S., and E. A. Emerson, \u2018The propositional\u00a0\u03bc-calculus is elementary\u2019, in Automata, Languages and Programming, volume 172 of Lecture Notes in Computer Science, Springer, Berlin \/ Heidelberg, 1984, pp. 465\u2013472.","DOI":"10.1007\/3-540-13345-3_43"},{"key":"9339_CR14","unstructured":"van Benthem, J., \u2018Dynamic odds and ends\u2019, ILLC Technical Report ML, 1998."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9339-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9339-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9339-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T00:23:03Z","timestamp":1560471783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9339-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["9339"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9339-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8]]}}}