{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:12Z","timestamp":1740123912244,"version":"3.37.3"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T00:00:00Z","timestamp":1663977600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T00:00:00Z","timestamp":1663977600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s10992-022-09671-7","type":"journal-article","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T09:02:32Z","timestamp":1664010152000},"page":"221-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Continuous Accessibility Modal Logics"],"prefix":"10.1007","volume":"52","author":[{"given":"Caleb","family":"Camrud","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9066-297X","authenticated-orcid":false,"given":"Ranpal","family":"Dosanjh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,24]]},"reference":[{"key":"9671_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R. (1990). Specifying real-time properties with metric temporal logic. Real-Time Systems, 2, 255\u2013299. https:\/\/doi.org\/10.1007\/BF01995674.","journal-title":"Real-Time Systems"},{"key":"9671_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur, R., Feder, T., & Henzinger, T.A. (1996). The benefits of relaxing punctuality. Journal of the ACM, 43, 116\u2013146. https:\/\/doi.org\/10.1145\/112600.112613.","journal-title":"Journal of the ACM"},{"key":"9671_CR3","unstructured":"Montanari, A., & Policriti, A. Executing metric temporal logic. workshop on programming in temporal and non classical logics at international joint conferences on artificial intelligence 1997, August 1997. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/citations?doi=10.1.1.50.1193."},{"key":"9671_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/malq.201700036","volume":"66","author":"S Baratella","year":"2019","unstructured":"Baratella, S., & Masini, A. (2019). A two-dimensional metric temporal logic. Mathematical Logic Quarterly, 66, 7\u201319. https:\/\/doi.org\/10.1002\/malq.201700036.","journal-title":"Mathematical Logic Quarterly"},{"key":"9671_CR5","unstructured":"Wolter, F., & Zakharyaschev, M. (2003). Reasoning about distances. In Proceedings of the 18th international joint conference on artificial intelligence (pp. 1275\u20131280)."},{"key":"9671_CR6","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/635499.635504","volume":"4","author":"O Kutz","year":"2003","unstructured":"Kutz, O., Wolter, F., Sturm, H., Suzuki, N.Y., & Zakharyaschev, M. (2003). Logics of metric spaces. ACM Transactions on Computational Logic, 4, 260\u2013294. https:\/\/doi.org\/10.1145\/635499.635504.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9671_CR7","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2178\/jsl\/1122038915","volume":"70","author":"F Wolter","year":"2005","unstructured":"Wolter, F., & Zakharyaschev, M. (2005). A logic for metric and topology. Journal of Symbolic Logic, 70, 795\u2013828. https:\/\/doi.org\/10.2178\/jsl\/1122038915.","journal-title":"Journal of Symbolic Logic"},{"key":"9671_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0888-613X(96)00126-0","volume":"16","author":"F Esteva","year":"1997","unstructured":"Esteva, F., Garcia, P., Godo, L., & Rodr\u00edguez, R. (1997). A modal account of similarity-based reasoning. International Journal of Approximate Reasoning, 16, 235\u2013260. https:\/\/doi.org\/10.1016\/S0888-613X(96)00126-0https:\/\/doi.org\/10.1016\/S0888-613X(96)00126-0.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9671_CR9","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1093\/logcom\/exm007","volume":"17","author":"M Sheremet","year":"2007","unstructured":"Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2007). A logic for concepts and similarity. Journal of Logic and Computation, 17, 415\u2013452. https:\/\/doi.org\/10.1093\/logcom\/exm007.","journal-title":"Journal of Logic and Computation"},{"key":"9671_CR10","volume-title":"Probabilistic semantics for modal logic. Phd thesis","author":"TA Lando","year":"2012","unstructured":"Lando, T.A. (2012). Probabilistic semantics for modal logic. Phd thesis. University of California: Berkeley."},{"key":"9671_CR11","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s00153-018-0630-7","volume":"58","author":"S Baratella","year":"2019","unstructured":"Baratella, S. (2019). A completeness theorem for continuous predicate modal logic. Archive for Mathematical Logic, 58, 183\u2013201. https:\/\/doi.org\/10.1007\/s00153-018-0630-7.","journal-title":"Archive for Mathematical Logic"},{"key":"9671_CR12","doi-asserted-by":"publisher","unstructured":"Godo, L., & Rodr\u00edguez, R. (1999). A Fuzzy modal logic for similarity reasoning. In G. Chen, M. Ying, & K. Y. Cai (Eds.) Fuzzy logic and soft computing, volume 6 of the international series on asian studies in computer and information science. Springer. https:\/\/doi.org\/10.1007\/978-1-4615-5261-1_3.","DOI":"10.1007\/978-1-4615-5261-1_3"},{"key":"9671_CR13","doi-asserted-by":"publisher","first-page":"3461","DOI":"10.1007\/s10958-005-0281-1","volume":"128","author":"AM Mironov","year":"2005","unstructured":"Mironov, A.M. (2005). Fuzzy modal logics. Journal of Mathematical Sciences, 128, 3461\u20133483. https:\/\/doi.org\/10.1007\/s10958-005-0281-1.","journal-title":"Journal of Mathematical Sciences"},{"key":"9671_CR14","unstructured":"Van Benthem, J. (2010). Modal Logic for Open Minds. Center for the study of language and information Stanford University."},{"key":"9671_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic. Cambridge tracts in theoretical computer science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., De Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9781107050884."},{"key":"9671_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"JCC McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45, 141\u2013191. https:\/\/doi.org\/10.2307\/1969080.","journal-title":"Annals of Mathematics"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09671-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09671-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09671-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T12:50:48Z","timestamp":1674910248000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09671-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,24]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["9671"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09671-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2022,9,24]]},"assertion":[{"value":"13 January 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}