{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:30:31Z","timestamp":1649021431779},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T00:00:00Z","timestamp":1383696000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1007\/s11229-013-0365-2","type":"journal-article","created":{"date-parts":[[2013,11,5]],"date-time":"2013-11-05T15:35:17Z","timestamp":1383665717000},"page":"2293-2309","source":"Crossref","is-referenced-by-count":1,"title":["On the axiomatizability of some first-order spatio-temporal theories"],"prefix":"10.1007","volume":"192","author":[{"given":"S\u00e1ndor","family":"V\u00e1lyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,6]]},"reference":[{"key":"365_CR1","volume-title":"Time and logic","author":"H Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., Goranko, V., Mikul\u00e1s, Sz, N\u00e9meti, I., & Sain, I. (1995). Effective temporal logics of programs. In L. Bolc & A. Szalas (Eds.), Time and logic. London: UCL Press."},{"key":"365_CR2","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., & N\u00e9meti, I. (2000). On the logical structure of relativity theories, internet book. http:\/\/www.renyi.hu\/pub\/algebraic-logic\/olsort.html . Accessed 30 April 2013."},{"key":"365_CR3","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., & N\u00e9meti, I. (2004). Logical analysis of relativity theories. In V. Hendricks et al. (Eds.), First-order logic revisited. Berlin: Logos Verlag."},{"key":"365_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(91)90386-G","volume":"80","author":"H Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., & Sain, I. (1991). On the strength of temporal proofs. Theoretical Computer Science, 80, 125\u2013151.","journal-title":"Theoretical Computer Science"},{"issue":"7\u20138","key":"365_CR5","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BF00717578","volume":"8","author":"JP Ax","year":"1978","unstructured":"Ax, J. P. (1978). The elementary foundations of spacetime. Foundations of Physics, 8(7\u20138), 507\u2013546.","journal-title":"Foundations of Physics"},{"issue":"1\u20132","key":"365_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus, F., & Kabanza, F. (2000). Using temporal logic to express search and control knowledge for planning. Artificial Intelligence, 116(1\u20132), 123\u2013191.","journal-title":"Artificial Intelligence"},{"key":"365_CR7","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-45988-X_13","volume-title":"Frontiers of Combining Systems","author":"Philippe Balbiani","year":"2002","unstructured":"Balbiani, P., & Condotta, J.-F. (2002). Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. In A. Armando (Ed.), Proceedings of frontiers of combining systems (ProCoS 2002). Vol. 2309 of LNCS."},{"issue":"3\u20134","key":"365_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3166\/jancl.12.365-397","volume":"12","author":"P Balbiani","year":"2002","unstructured":"Balbiani, P., & Goranko, V. (2002). Modal logics of parallelism, orthogonality and affine geometries. Journal of Applied Non-Classical Logics, 12(3\u20134), 365\u2013398.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"365_CR9","unstructured":"Bennett, B., & Cohn, A. (1999). Multi-dimensional modal logic as a framework for spatio-temporal reasoning. In Proceedings of the hot topics in spatio-temporal reasoning, workshop, IJCAI\u201999, Stockholm."},{"key":"365_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s004460050018","volume":"9","author":"B Charron-Bost","year":"1996","unstructured":"Charron-Bost, B., & Mattern, F. (1996). Synchronous, asynchronous and causally ordered communication. Distributed Computing, 9, 173\u2013191.","journal-title":"Distributed Computing"},{"key":"365_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-82453-1_1","volume-title":"Logics and Models of Concurrent Systems","author":"E. M. Clarke","year":"1985","unstructured":"Clarke, E., Browne, M., Emerson, E., & Sistla, A. (1985). Using temporal logic for formal verification of finite state systems. In Logics and models of concurrent systems, 1985, NATO ASI series (Vol. F13)."},{"key":"365_CR12","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., & Sistla, A. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Toplas, 8, 244\u2013263.","journal-title":"ACM Toplas"},{"key":"365_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976","volume-title":"Temporal logic","author":"D Gabbay","year":"1994","unstructured":"Gabbay, D., Hodkinson, I., & Reynolds, M. (1994). Temporal logic. Oxford: Clarendon Press."},{"key":"365_CR14","unstructured":"Gerevini, A., & Nevel, B. (2002). Qualitative spatio-temporal reasoning with RCC-8 and Allen\u2019s interval calculus: Computational complexity. In Proceedings of the 15th European conference on artificial intelligence (ECAI\u201902) (pp. 312\u2013316). Amsterdam: IOS Press."},{"key":"365_CR15","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00370321","volume":"39","author":"R Goldblatt","year":"1980","unstructured":"Goldblatt, R. (1980). Diodorean modality in Minkowski space. Studia Logica, 39, 219\u2013236.","journal-title":"Studia Logica"},{"key":"365_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6345-3","volume-title":"Orthogonality and spacetime geometry","author":"R Goldblatt","year":"1987","unstructured":"Goldblatt, R. (1987). Orthogonality and spacetime geometry. New York: Springer."},{"key":"365_CR17","first-page":"303","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"Robert Goldblatt","year":"1989","unstructured":"Goldblatt, R. (1989). First-order spacetime geometry. In Logic, methodology and philosophy of science, VIII (Moscow, 1987) (pp. 303\u2013316). Studies in logic and the foundations of mathematics 126. Amsterdam: North-Holland."},{"key":"365_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I Hodkinson","year":"2000","unstructured":"Hodkinson, I., Wolter, F., & Zakaryashev, M. (2000). On decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106, 85\u2013134.","journal-title":"Annals of Pure and Applied Logic"},{"key":"365_CR19","volume-title":"An introduction to modal logic","author":"GE Hughes","year":"1968","unstructured":"Hughes, G. E., & Creswell, M. (1968). An introduction to modal logic. London: Methuen."},{"issue":"5","key":"365_CR20","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s10701-005-9041-9","volume":"36","author":"J. X. Madar\u00e1sz","year":"2006","unstructured":"Madar\u00e1sz, J. X., N\u00e9meti, I., & Sz\u00e9kely, G. (2006). Twin paradox and the logical foundation of relativity theory. Foundations of Physics, 36(5), 681\u2013714.","journal-title":"Foundations of Physics"},{"key":"365_CR21","unstructured":"Manna, Z., & Pnueli, A. (1981). Verification of concurrent programs\u2014The temporal framework. In R. S. Boyer & J. S. Moore (Eds.), The correctness problem in computer science (pp. 215\u2013273). International lecture series in computer science. New York: Academic Press."},{"key":"365_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z Manna","year":"1992","unstructured":"Manna, Z., & Pnueli, A. (1992). The temporal logic of reactive and concurrent systems. New York: Springer."},{"key":"365_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-dimensional modal logic","author":"M Marx","year":"1997","unstructured":"Marx, M., & Venema, Y. (1997). Multi-dimensional modal logic. Dordrecht: Kluwer."},{"key":"365_CR24","doi-asserted-by":"crossref","unstructured":"Mattern, F., & Mattern, F. (1992). On the relativistic structure of logical time in distributed systems. In Informatik (pp. 309\u2013331). Stuttgart: Teubner Texte zur Informatik.","DOI":"10.1007\/978-3-322-95233-2_18"},{"issue":"2","key":"365_CR25","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/11663081.1992.10510779","volume":"2","author":"S Merz","year":"1992","unstructured":"Merz, S. (1992). Decidability and incompleteness results for first-order temporal logics of linear time. Journal of Applied Non-Classical Logics, 2(2), 139\u2013156.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"365_CR26","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1093\/oxfordjournals.bjps\/37.1.25","volume":"37","author":"B Mundy","year":"1986","unstructured":"Mundy, B. (1986a). The physical content of Minkowski geometry. British Journal for the Philosophy of Science, 37(1), 25\u201354.","journal-title":"British Journal for the Philosophy of Science"},{"issue":"1","key":"365_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1086\/289289","volume":"53","author":"B Mundy","year":"1986","unstructured":"Mundy, B. (1986b). Optical axiomatization of Minkowski space\u2013time geometry. Philosophy of Science, 53(1), 1\u201330.","journal-title":"Philosophy of Science"},{"issue":"3","key":"365_CR28","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s00010-007-2885-7","volume":"74","author":"V Pambuccian","year":"2007","unstructured":"Pambuccian, V. (2007). Alexandrov\u2013Zeeman type theorems expressed in terms of definability. Aequationes Mathematicae, 74(3), 249\u2013261.","journal-title":"Aequationes Mathematicae"},{"issue":"4","key":"365_CR29","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1305\/ndjfl\/1039118869","volume":"39","author":"J Phillips","year":"1998","unstructured":"Phillips, J. (1998). A note on the modal and temporal logics of n-dimensional spacetime. Notre Dame Journal of Formal Logic, 39(4), 545\u2013553.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"365_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1017502425876","volume":"30","author":"JF Phillips","year":"2001","unstructured":"Phillips, J. F. (2001). Modal logic of succession for 2-dimensional integral spacetime. Journal of Philosophical Logic, 30, 1\u201325.","journal-title":"Journal of Philosophical Logic"},{"key":"365_CR31","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-0000(85)90003-0","volume":"30","author":"J Reif","year":"1985","unstructured":"Reif, J., & Sistla, A. (1985). A multiprocess network logic with temporal and spatial modalities. Journal of Computer and System Sciences, 30, 41\u201353.","journal-title":"Journal of Computer and System Sciences"},{"key":"365_CR32","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00370836","volume":"57","author":"M Reynolds","year":"1996","unstructured":"Reynolds, M. (1996). Axiomatising first-order temporal logic: Until and since over linear time. Studia Logica, 57, 279\u2013302.","journal-title":"Studia Logica"},{"issue":"3","key":"365_CR33","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","volume":"38","author":"M Reynolds","year":"1997","unstructured":"Reynolds, M. (1997). A decidable temporal logic of parallelism. Notre Dame Journal of Formal Logic, 38(3), 419\u2013436.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"365_CR34","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1093\/logcom\/11.6.909","volume":"11","author":"M Reynolds","year":"2001","unstructured":"Reynolds, M., & Zakaryashev, M. (2001). On the products of linear modal logics. Journal of Logic and Computation, 11, 909\u2013931.","journal-title":"Journal of Logic and Computation"},{"key":"365_CR35","volume-title":"A theory of time and space","author":"AA Robb","year":"1914","unstructured":"Robb, A. A. (1914). A theory of time and space. Cambridge: Cambridge University Press."},{"key":"365_CR36","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K Segerberg","year":"1973","unstructured":"Segerberg, K. (1973). Two-dimensional modal logic. Journal of Philosophical Logic, 2, 77\u201396.","journal-title":"Journal of Philosophical Logic"},{"key":"365_CR37","first-page":"437","volume":"4","author":"I Shapirovsky","year":"2002","unstructured":"Shapirovsky, I., & Shehtman, V. (2002). Chronological future modality in Minkowski spacetime. Advances in Modal Logic, 4, 437\u2013459.","journal-title":"Advances in Modal Logic"},{"key":"365_CR38","first-page":"417","volume":"23","author":"V Shehtman","year":"1978","unstructured":"Shehtman, V. (1978). Two-dimensional modal logics. Mathematical Notices of the USSR Academy of Sciences, 23, 417\u2013424.","journal-title":"Mathematical Notices of the USSR Academy of Sciences"},{"issue":"1","key":"365_CR39","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF01418760","volume":"42","author":"V Shehtman","year":"1983","unstructured":"Shehtman, V. (1983). Modal logics of domains on the real plane. Studia Logica, 42(1), 63\u201380.","journal-title":"Studia Logica"},{"key":"365_CR40","unstructured":"V\u00e1lyi, S. (2006). A note on the axiomatizability of some first-order spatio-temporal logics. Technical report."},{"key":"365_CR41","unstructured":"V\u00e1lyi, S. (2009). Non-classical logic\u2014Axiomatizability of spatio-temporal theories and interval-valued computations. PhD dissertation."},{"key":"365_CR42","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1983). The logic of time. Synthese library 156. Dordrecht: Reidel.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"365_CR43","unstructured":"Wolter, F., & Zakaryashev, M. (2000). Spatio-temporal representation and reasoning based on RCC-8. In A. Cohn et al. (Eds.), Proceedings of the 7th conference on principles of knowledge representation and reasoning KR2000 (pp. 3\u201314). Breckenridge: Morgan Kaufmann."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0365-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0365-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0365-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0365-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T21:29:37Z","timestamp":1564608577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0365-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,6]]},"references-count":43,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["365"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0365-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,6]]}}}