{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:22:32Z","timestamp":1726410152100},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540927006"},{"type":"electronic","value":"9783540927013"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92701-3_14","type":"book-chapter","created":{"date-parts":[[2009,1,6]],"date-time":"2009-01-06T15:44:29Z","timestamp":1231256669000},"page":"196-209","source":"Crossref","is-referenced-by-count":0,"title":["A Two-Dimensional Hybrid Logic of Subset Spaces"],"prefix":"10.1007","author":[{"given":"Yi N.","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"95","volume-title":"Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK)","author":"L.S. Moss","year":"1992","unstructured":"Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK), Monterey, CA, pp. 95\u2013105. Morgan Kaufmann, San Francisco (1992) (preliminary report)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics, pp. 299\u2013341 (2007)","DOI":"10.1007\/978-1-4020-5587-4_6"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/800222.806735","volume-title":"PODC 1984: Proceedings of the third annual ACM symposium on Principles of distributed computing","author":"J.Y. Halpern","year":"1984","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: PODC 1984: Proceedings of the third annual ACM symposium on Principles of distributed computing, pp. 50\u201361. ACM, New York (1984)"},{"issue":"1-3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic\u00a078(1-3), 73\u2013110 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL\u00a08(3), 339\u2013365 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"14_CR6","volume-title":"Handbook of Modal Logics","author":"C.E. Areces","year":"2006","unstructured":"Areces, C.E., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (eds.) Handbook of Modal Logics. Elsevier, Amsterdam (2006)"},{"key":"14_CR7","volume-title":"Advances in Modal Logic, AiML 2006","author":"A. Kudinov","year":"2006","unstructured":"Kudinov, A.: Topological modal logics with difference modality. In: Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, AiML 2006, vol.\u00a06. King\u2019s College Publications, London (2006)"},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/logcom\/11.5.671","volume":"11","author":"J. Seligman","year":"2001","unstructured":"Seligman, J.: Internalization: The case of hybrid logics. Journal of Logic and Computation\u00a011(5), 671\u2013689 (2001); Special Issue on Hybrid Logics. Areces, C., Blackburn, P. (eds.)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Internalizing labelled deduction. Journal of Logic and Computation\u00a010(1), 137\u2013168 (2000)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1093\/logcom\/14.3.329","volume":"14","author":"T. Bra\u00fcner","year":"2004","unstructured":"Bra\u00fcner, T.: Natural deduction for hybrid logics. Journal of Logic and Computation\u00a014(3), 329\u2013353 (2004)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92701-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T20:01:02Z","timestamp":1551729662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92701-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540927006","9783540927013"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92701-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}