{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:11Z","timestamp":1740123071026,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000761","name":"Imperial College London","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000761","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s11225-017-9732-1","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T23:12:04Z","timestamp":1496272324000},"page":"131-166","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["The Finite Model Property for Logics with the Tangle Modality"],"prefix":"10.1007","volume":"106","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,1]]},"reference":[{"key":"9732_CR1","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9732_CR2","doi-asserted-by":"crossref","unstructured":"Dawar, A., and M. Otto, Modal characterisation theorems over special classes of frames. Annals of Pure and Applied Logic 161:1\u201342, 2009.","DOI":"10.1016\/j.apal.2009.04.002"},{"key":"9732_CR3","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Duque, D., A sound and complete axiomatization for dynamic topological logic. The Journal of Symbolic Logic 77:947\u2013969, 2012.","DOI":"10.2178\/jsl\/1344862169"},{"issue":"3","key":"9732_CR4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s11225-011-9339-x","volume":"98","author":"D Fern\u00e1ndez-Duque","year":"2011","unstructured":"Fern\u00e1ndez-Duque, D., On the modal definability of simulability by finite transitive models. Studia Logica 98(3):347\u2013373, 2011.","journal-title":"Studia Logica"},{"key":"9732_CR5","unstructured":"Fern\u00e1ndez-Duque, D., Tangled modal logic for spatial reasoning, in T. Walsh, (ed.), Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI), pp. 857\u2013862. AAAI Press\/IJCAI, 2011."},{"key":"9732_CR6","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/j.apal.2011.12.018","volume":"163","author":"D Fern\u00e1ndez-Duque","year":"2012","unstructured":"Fern\u00e1ndez-Duque, D., Tangled modal logic for topological dynamics. Annals of Pure and Applied Logic 163:467\u2013481, 2012.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9732_CR7","unstructured":"Goldblatt, R., Logics of Time and Computation. CSLI Lecture Notes No. 7. CSLI Publications, Stanford University, second edition, 1992."},{"key":"9732_CR8","doi-asserted-by":"publisher","unstructured":"Goldblatt, R., and I. Hodkinson, Spatial logic of tangled closure operators and modal mu-calculus. Annals of Pure and Applied Logic 168:1032\u20131090, 2017. doi: 10.1016\/j.apal.2016.11.006 .","DOI":"10.1016\/j.apal.2016.11.006"},{"key":"9732_CR9","unstructured":"Goldblatt, R., and I. Hodkinson, The tangled derivative logic of the real line and zero-dimensional spaces, in L. Beklemishev, S. Demri, and A. M\u00e1t\u00e9, (eds.), Advances in Modal Logic, Volume 11, pp. 342\u2013361. College Publications, 2016. http:\/\/www.aiml.net\/volumes\/volume11\/ ."},{"key":"9732_CR10","doi-asserted-by":"crossref","unstructured":"Janin D., and I. Walukiewicz, On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic, in U. Montanari and V. Sassone, (eds.), CONCUR \u201996: Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, Springer, 1996, pp. 263\u2013277.","DOI":"10.1007\/3-540-61604-7_60"},{"key":"9732_CR11","doi-asserted-by":"crossref","unstructured":"Kudinov, A., and V. Shehtman, Derivational modal logics with the difference modality, in G. Bezhanishvili, (ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics, volume\u00a04 of Outstanding Contributions to Logic, Springer, 2014, pp. 291\u2013334.","DOI":"10.1007\/978-94-017-8860-1_11"},{"issue":"1","key":"9732_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/logcom\/exr054","volume":"23","author":"JG Lucero-Bryan","year":"2013","unstructured":"Lucero-Bryan, J.\u00a0G., The d-logic of the real line. Journal of Logic and Computation 23(1):121\u2013156, 2013. doi: 10.1093\/logcom\/exr054 .","journal-title":"Journal of Logic and Computation"},{"key":"9732_CR13","first-page":"427","volume":"6","author":"E Rosen","year":"1997","unstructured":"Rosen, E., Modal logic over finite structures. Journal of Logic and Computation 6:427\u2013439, 1997.","journal-title":"Journal of Logic and Computation"},{"key":"9732_CR14","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1111\/j.1755-2567.1968.tb00335.x","volume":"34","author":"K Segerberg","year":"1968","unstructured":"Segerberg, K., Decidability of S4.1. Theoria 34:7\u201320, 1968.","journal-title":"Theoria"},{"key":"9732_CR15","unstructured":"Shehtman, V., Derived sets in Euclidean spaces and modal logic. Technical Report X-1990-05, University of Amsterdam, 1990. http:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/X-1990-05.text.pdf ."},{"key":"9732_CR16","doi-asserted-by":"crossref","unstructured":"Shehtman, V., \u00abEverywhere\u00bb and \u00abHere\u00bb. Journal of Applied Non-Classical Logics 9(2\u20133):369\u2013379, 1999.","DOI":"10.1080\/11663081.1999.10510972"},{"key":"9732_CR17","unstructured":"Shehtman, V., Modal logic of Topological Spaces. Habilitation thesis, Moscow, 2000. In Russian."},{"key":"9732_CR18","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A., A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5:285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"9732_CR19","unstructured":"van Benthem, J.\u00a0F. A.\u00a0K., Modal Correspondence Theory. PhD thesis, University of Amsterdam, 1976."},{"key":"9732_CR20","volume-title":"Modal Logic and Classical Logic","author":"JFAK Benthem van","year":"1983","unstructured":"van Benthem, J.\u00a0F. A.\u00a0K., Modal Logic and Classical Logic. Bibliopolis, Naples, 1983."},{"key":"9732_CR21","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1093\/jigpal\/1.1.13","volume":"1","author":"M Zakharyaschev","year":"1993","unstructured":"Zakharyaschev, M., A sufficient condition for the finite model property of modal logics above K4. Bulletin of the IGPL 1:13\u201321, 1993.","journal-title":"Bulletin of the IGPL"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9732-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9732-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9732-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:32:41Z","timestamp":1569393161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9732-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,1]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["9732"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9732-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,6,1]]}}}