{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T09:12:58Z","timestamp":1676884378917},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,20]],"date-time":"2010-01-20T00:00:00Z","timestamp":1263945600000},"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":[[2010,2]]},"DOI":"10.1007\/s11225-010-9226-x","type":"journal-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T16:49:07Z","timestamp":1263919747000},"page":"23-45","source":"Crossref","is-referenced-by-count":2,"title":["Using Hybrid Logic for Coping with Functions in Subset Spaces"],"prefix":"10.1007","volume":"94","author":[{"given":"Bernhard","family":"Heinemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,20]]},"reference":[{"key":"9226_CR1","doi-asserted-by":"crossref","unstructured":"Aiello, Marco, Ian E. Pratt-Hartmann, and Johan F. A. K. van Benthem, Handbook of Spatial Logics, Springer, 2007.","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"9226_CR2","unstructured":"Baskent, Can, Topics in Subset Space Logic, Master\u2019s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 2007."},{"key":"9226_CR3","volume-title":"Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science","author":"Patrick Blackburn","year":"2001","unstructured":"Blackburn Patrick , de Maarten Rijke, Yde Venema (2001) Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge"},{"key":"9226_CR4","unstructured":"Blackburn, Patrick, Johan van Benthem, and Frank Wolter, Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, Elsevier, 2007."},{"key":"9226_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"Andrew Dabrowski","year":"1996","unstructured":"Dabrowski , Andrew , Moss Lawrence S., Rohit Parikh (1996) \u2018Topological reasoning and the logic of knowledge\u2019. Annals of Pure and Applied Logic, 78: 73\u2013110","journal-title":"Annals of Pure and Applied Logic,"},{"key":"9226_CR6","unstructured":"Goldblatt, Robert, Logics of Time and Computation, vol. 7 of CSLI Lecture Notes, 2nd edn., Center for the Study of Language and Information, Stanford, CA, 1992."},{"key":"9226_CR7","unstructured":"Heinemann, Bernhard, \u2018Topological nexttime logic\u2019, in M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, (eds.), Advances in Modal Logic 1, vol. 87 of CSLI Publications, Kluwer, Stanford, CA, 1998, pp. 99\u2013113."},{"key":"9226_CR8","unstructured":"Heinemann, Bernhard, \u2018Reasoning about knowledge and continuity\u2019, in R. Goebel, and G. Sutcliffe, (eds.), Proceedings 19th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2006), AAAI Press, Menlo Park, CA, 2006, pp. 37\u201342."},{"key":"9226_CR9","doi-asserted-by":"crossref","unstructured":"Heinemann, Bernhard, \u2018Reasoning about operations on sets\u2019, in Z. Kobti, and D. Wu, (eds.), Advances in Artificial Intelligence, Canadian AI 2007, vol. 4509 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2007, pp. 308\u2013319.","DOI":"10.1007\/978-3-540-72665-4_27"},{"issue":"1","key":"9226_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s10849-007-9043-4","volume":"17","author":"Bernhard Heinemann","year":"2008","unstructured":"Heinemann Parikh, Heinemann Parikh (2008) \u2018A hybrid logic for reasoning about knowledge and topology\u2019. Journal of Logic, Language and Information, 17(1): 19\u201341","journal-title":"Journal of Logic, Language and Information,"},{"key":"9226_CR11","unstructured":"Heinemann, Bernhard, \u2018Modelling uniformity and control during knowledge acquisition\u2019, in C. Lane, and D. Wilson, (eds.), Proceedings 21th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2008), AAAI Press, Menlo Park, CA, 2008, pp. 65\u201370."},{"key":"9226_CR12","unstructured":"Heinemann, Bernhard, \u2018Observational effort and formally open mappings\u2019, in H. Ono, M. Kanazawa, and R. de Queiroz, (eds.), Logic, Language, Information and Computation, WoLLIC 2009, vol. 5514 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2009, pp. 197\u2013208."},{"key":"9226_CR13","unstructured":"Moss, Lawrence S., and Rohit Parikh, \u2018Topological reasoning and the logic of knowledge\u2019, in Y. Moses, (ed.), Theoretical Aspects of Reasoning about Knowledge (TARK 1992), Morgan Kaufmann, Los Altos, CA, 1992, pp. 95\u2013105."},{"key":"9226_CR14","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, Hans, Wiebe van der Hoek, and Barteld Kooi, Dynamic Epistemic Logic, vol. 337 of Synthese Library, Springer, 2007.","DOI":"10.1007\/978-1-4020-5839-4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9226-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9226-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9226-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:46Z","timestamp":1559384686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9226-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,20]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9226"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9226-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,20]]}}}