{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:04:50Z","timestamp":1775012690317,"version":"3.50.1"},"reference-count":11,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Probl Inf Transm"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1134\/s0032946007030076","type":"journal-article","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:38:33Z","timestamp":1193553513000},"page":"255-262","source":"Crossref","is-referenced-by-count":0,"title":["Modal logics of some geometrical structures"],"prefix":"10.1134","volume":"43","author":[{"given":"I. B.","family":"Shapirovsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"3007_CR1","doi-asserted-by":"crossref","unstructured":"Lutz, C. and Wolter, F., Modal Logics of Topological Relations, Log. Methods Comput. Sci., 2006, vol. 2, no. 2, paper 5.","DOI":"10.2168\/LMCS-2(2:5)2006"},{"key":"3007_CR2","unstructured":"Randell, D., Cui, Z., and Cohn, A., A Spatial Logic Based on Regions and Connection, in Proc. 4th European Workshop on Semantics of Time, Space, and Movement and Spatio-Temporal Reasoning, Ch\u00e2teau de Bonas, France, 1992, pp. 391\u2013405."},{"issue":"2","key":"3007_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M. and Franzosa, R., Point-Set Topological Spatial Relations, Int. J. Geograph. Inform. Syst., 1991, vol. 5, no. 2, pp. 161\u2013174.","journal-title":"Int. J. Geograph. Inform. Syst."},{"issue":"4","key":"3007_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/exi039","volume":"15","author":"I. Shapirovsky","year":"2005","unstructured":"Shapirovsky, I. and Shehtman, V., Modal Logics of Regions and Minkowski Spacetime, J. Logic Comput., 2005, vol. 15, no. 4, pp. 559\u2013574.","journal-title":"J. Logic Comput."},{"key":"3007_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A. and Zakharyaschev, M., Modal Logic, Oxford: Clarendon; New York: Oxford Univ. Press, 1997."},{"issue":"1","key":"3007_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko, V. and Passy, S., Using the Universal Modality: Gains and Questions, J. Logic Comput., 1992, vol. 2, no. 1, pp. 5\u201330.","journal-title":"J. Logic Comput."},{"key":"3007_CR7","first-page":"413","volume-title":"Advances in Modal Logic","author":"I. Shapirovsky","year":"2006","unstructured":"Shapirovsky, I., Downward-Directed Transitive Frames with Universal Relations, Advances in Modal Logic, vol. 6, Governatori, G., Hodkinson, I., and Venema, Y., Eds., London: College Publ., 2006, pp. 413\u2013428."},{"key":"3007_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y., Modal Logic, Cambridge: Cambridge Univ. Press, 2001."},{"key":"3007_CR9","unstructured":"Shapirovsky, I. and Shehtman, V., Chronological Future Modality in Minkowski Spacetime, Advances in Modal Logic, vol. 4, Balbiani, P., Suzuki, N.-Y., Wolter, F., and Zakharyaschev, M., Eds., 2003, pp. 437\u2013459."},{"key":"3007_CR10","first-page":"269","volume-title":"Advances in Modal Logic, vol. 5","author":"I. Shapirovsky","year":"2005","unstructured":"Shapirovsky, I., On PSPACE-Decidability in Transitive Modal Logics, Advances in Modal Logic, vol. 5, Schmidt, R., Pratt-Hartmann, I., Reynolds, M., and Wansing, H., Eds., London: College Publ., 2005, pp. 269\u2013287."},{"issue":"2\u20133","key":"3007_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00370321","volume":"39","author":"R. Goldblatt","year":"1980","unstructured":"Goldblatt, R., Diodorean Modality in Minkowski Spacetime, Studia Logica, 1980, vol. 39, no. 2\u20133, pp. 219\u2013236.","journal-title":"Studia Logica"}],"container-title":["Problems of Information Transmission"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0032946007030076.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0032946007030076","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0032946007030076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0032946007030076.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:19Z","timestamp":1775008939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0032946007030076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["3007"],"URL":"https:\/\/doi.org\/10.1134\/s0032946007030076","relation":{},"ISSN":["0032-9460","1608-3253"],"issn-type":[{"value":"0032-9460","type":"print"},{"value":"1608-3253","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}