{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T08:40:02Z","timestamp":1721205602805},"reference-count":48,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,5,1]]},"DOI":"10.1215\/00294527-2019-0005","type":"journal-article","created":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T08:05:55Z","timestamp":1556179555000},"source":"Crossref","is-referenced-by-count":1,"title":["The Mereotopology of Time"],"prefix":"10.1215","volume":"60","author":[{"given":"Claudio","family":"Mazzola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Bochman, A., \u201cConcerted instant-interval temporal semantics, I: Temporal ontologies,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 31 (1990), pp. 403\u201314.","DOI":"10.1305\/ndjfl\/1093635505"},{"key":"2","unstructured":"[2] Bradley, F. H., <i>Appearance and Reality<\/i>, Swan Sonnenschein, London, 1893."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Cartwright, R., \u201cScattered objects,\u201d pp. 153\u201371 in <i>Analysis and Metaphysics<\/i>, edited by K. Lehrer, vol. 4 of <i>Philosophical Studies<\/i>, Reidel, Dordrecht, 1975.","DOI":"10.1007\/978-94-010-9098-8_9"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Casati, R., and R. Varzi, <i>Parts and Places: The Structures of Spatial Representation<\/i>, MIT Press, Cambridge, MA, 1999.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Clarke, B. L., \u201cA calculus of individuals based on \u2018connection\u2019,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 204\u201318.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Clarke, B. L., \u201cIndividuals and points,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 26 (1985), pp. 61\u201375.","DOI":"10.1305\/ndjfl\/1093870761"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Condotta, J.-F., \u201cA general qualitative framework for temporal and spatial reasoning,\u201d <i>Constraints<\/i>, vol. 9 (2004), pp. 99\u2013121.","DOI":"10.1023\/B:CONS.0000024047.02149.64"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] de Laguna, T., \u201cPoint, line, and surface, as sets of solids,\u201d <i>Journal of Philosophy<\/i>, vol. 19 (1922), pp. 449\u201361.","DOI":"10.2307\/2939504"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Galton, A., \u201cThe mereotopology of discrete space,\u201d pp. 251\u201366 in <i>Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science<\/i>, edited by C. Freksa and D. M. Mark, vol. 1661 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1999.","DOI":"10.1007\/3-540-48384-5_17"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Galton, A., \u201cDiscrete mereotopology,\u201d pp. 293\u2013321 in <i>Mereology and the Sciences<\/i>, edited by C. Calosi and P. Graziani, vol. 371 of <i>Synthese Library<\/i>, Springer, Cham, 2014.","DOI":"10.1007\/978-3-319-05356-1_11"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Girle, R., <i>Modal Logics and Philosophy<\/i>, 2nd edition, McGill-Queen\u2019s University Press, Montreal, 2009.","DOI":"10.1017\/UPO9781844654536"},{"key":"12","unstructured":"[12] Goldblatt, R., <i>Logics of Time and Computation<\/i>, vol. 7 of <i>CSLI Lecture Notes<\/i>, Center for the Study of Language and Information, Stanford, 1987."},{"key":"13","unstructured":"[13] Gr\u00fcnbaum, A., <i>Philosophical Problems of Space and Time<\/i>, Knopf, New York, 1963."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Hamblin, C. L., \u201cInstants and intervals,\u201d pp. 324\u201331 in <i>The Study of Time<\/i>, edited by J. T. Fraser, F. C. Haber, and G. H. M\u00fcller, Springer, Berlin, 1972.","DOI":"10.1007\/978-3-642-65387-2_23"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Huntington, E. V., \u201cA new set of postulates for betweenness, with proof of complete independence,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 26 (1924), pp. 257\u201382.","DOI":"10.1090\/S0002-9947-1924-1501278-0"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Kamp, H., \u201cEvents, instants, and temporal reference,\u201d pp. 376\u2013417, in <i>Semantics From Different Points of View<\/i>, edited by R. Ba\u00fcerle, U. Egli, and A. von Stechowr, vol. 6 of <i>Springer Series in Language and Communication<\/i>, Springer, Berlin, 1979.","DOI":"10.1007\/978-3-642-67458-7_24"},{"key":"17","unstructured":"[17] Ladkin, P. B., \u201cTime representation: A taxonomy of interval relations,\u201d pp. 360\u201366 in <i>Proceedings of the Fifth National Conference on Artificial Intelligence (Philadelphia, 1986)<\/i>, vol. 1 of <i>Science<\/i>, Morgan Kaufmann, Los Altos, CA, 1986."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Le Poidevin, R., <i>Travels in Four Dimensions: The Enigmas of Space and Time<\/i>, Oxford University Press, Oxford, 2003.","DOI":"10.1093\/oso\/9780198752547.001.0001"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Leonard, H. S., and N. Goodman, \u201cThe calculus of individuals and its uses,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 5 (1940), pp. 45\u201355.","DOI":"10.2307\/2266169"},{"key":"20","unstructured":"[20] Lesniewski, S., \u201cFoundations of the general theory of sets, I,\u201d pp. 129\u201373 in <i>Stanislaw Lesniewski: Collected Works, Vols. I and II<\/i>, edited by S. J. Surma, J. J. T. Srzednicki, D. I. Barnett, and V. F. Rickey, Kluwer, Dordrecht, 1991."},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Li, S., and M. Ying, \u201cGeneralized region connection calculus,\u201d <i>Artificial Intelligence<\/i>, vol. 160 (2004), pp. 1\u201334.","DOI":"10.1016\/j.artint.2004.05.012"},{"key":"22","unstructured":"[22] Ligozat, G. F., \u201cOn generalized interval calculi,\u201d pp. 234\u201340 in <i>Proceedings of the Ninth National Conference on Artificial Intelligence, Vol. I (Anaheim, CA, 1991)<\/i>, MIT Press, Cambridge, MA, 1991."},{"key":"23","unstructured":"[23] Lucas, J. R., <i>The Future<\/i>, Blackwell, Oxford, 1989."},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Masolo, C., and L. Vieu, \u201cAtomicity vs. infinite divisibility of space,\u201d pp. 235\u201350 in <i>Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science<\/i>, edited by C. Freksa and D. M. Mark, vol. 1661 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1999.","DOI":"10.1007\/3-540-48384-5_16"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] McCall, S., \u201cObjective time flow,\u201d <i>Philosophy of Science<\/i>, vol. 43 (1976), pp. 337\u201362.","DOI":"10.1086\/288692"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Morris, R. A., and L. Al-Khatib, \u201cAn interval-based temporal relational calculus for events with gaps,\u201d <i>Journal of Experimental and Theoretical Artificial Intelligence<\/i>, vol. 3 (1991), pp. 87\u2013107.","DOI":"10.1080\/09528139108915283"},{"key":"27","unstructured":"[27] Needham, P., \u201cTemporal intervals and temporal order,\u201d <i>Logique et Analyse (N.S.)<\/i>, vol. 24 (1981), pp. 49\u201364."},{"key":"28","unstructured":"[28] Newton-Smith, W. H., <i>The Structure of Time<\/i>, Routledge and Kegan Paul, London, 1980."},{"key":"29","unstructured":"[29] \u00d8hrstr\u00f8m, P., and P. F. V. Hasle, <i>Temporal Logic: From Ancient Ideas to Artificial Intelligence<\/i>, vol. 57 of <i>Studies in Linguistics and Philosophy<\/i>, Kluwer Academic, Dordrecht, 1995."},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Pianesi, F., and A. C. Varzi, \u201cEvents, topology, and temporal relations,\u201d <i>The Monist<\/i>, vol. 79 (1996), pp. 89\u2013116.","DOI":"10.1305\/ndjfl\/1040067317"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Pianesi, F., and A. C. Varzi, \u201cRefining temporal reference in event structures,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 71\u201383.","DOI":"10.1305\/ndjfl\/1040067317"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Prior, A., <i>Past, Present, and Future<\/i>, Oxford University Press, Oxford, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"33","unstructured":"[33] Randell, D. A., Z. Cui, and A. G. Cohn, \u201cA spatial logics based on regions and connections,\u201d pp. 165\u201376 in <i>Principles of Knowledge Representation and Reasoning<\/i>, edited by B. Nebel, C. Rich, and W. Swartout, Morgan Kaufmann, Los Altos, CA, 1992."},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] Rescher, N., and A. Urquhart, <i>Temporal Logic<\/i>, vol. 3 of <i>Library of Exact Philosophy<\/i>, Springer, New York, 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Roy, A. J., and J. G. Stell, \u201cA qualitative account of discrete space,\u201d pp. 276\u201390 in <i>Geographic Information Science<\/i>, edited by M. J. Egenhofer and D. M. Mark, vol. 2478 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2002.","DOI":"10.1007\/3-540-45799-2_19"},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] Russell, B., <i>Our Knowledge of the External World as a Field for Scientific Method in Philosophy<\/i>, Allen and Unwin, London, 1914.","DOI":"10.5962\/bhl.title.2067"},{"key":"37","unstructured":"[37] Russell, B., \u201cOn order in time,\u201d pp. 347\u201363 in <i>Bertrand Russell: Logic and Knowledge, Essays 1901\u20131950<\/i>, edited by R. C. Marsh, Allen and Unwin, London, 1936."},{"key":"38","unstructured":"[38] Simons, P., <i>Parts: A Study in Ontology<\/i>, Oxford University Press, Oxford, 1987."},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Skow, B., \u201cWhy does time pass?\u201d <i>No\u00fbs<\/i>, vol. 46 (2012), pp. 223\u201342.","DOI":"10.1111\/j.1468-0068.2010.00784.x"},{"key":"40","unstructured":"[40] Tarski, A., \u201cFoundations of the geometry of solids,\u201d pp. 24\u201329 in <i>Logic, Semantics, Metamathematics: Papers from 1923 to 1938<\/i>, translated by J. H. Woodger, Oxford University Press, Oxford, 1956."},{"key":"41","unstructured":"[41] Tarski, A., \u201cOn the foundations of Boolean algebra,\u201d pp. 320\u201341 in <i>Logic, Semantics, Metamathematics: Papers from 1923 to 1938<\/i>, translated by J. H. Woodger, Oxford University Press, Oxford, 1956."},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Thomason, S. K., \u201cOn constructing instants from events,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 13 (1984), pp. 85\u201396.","DOI":"10.1007\/BF00297578"},{"key":"43","unstructured":"[43] Vailati, G., \u201cSulle relazioni di posizione tra punti di una linea chiusa,\u201d <i>Rivista di Matematica<\/i>, vol. 5 (1895), pp. 75\u201378."},{"key":"44","unstructured":"[44] van Benthem, J. F. A. K., <i>The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse<\/i>, vol. 156 in <i>Synthese Library<\/i>, Kluwer, Dordrecht, 1991."},{"key":"45","unstructured":"[45] van Fraassen, B. C., <i>An Introduction to the Philosophy of Time and Space<\/i>, Random House, New York, 1970."},{"key":"46","doi-asserted-by":"publisher","unstructured":"[46] Varzi, A., \u201cParts, wholes, and part-whole relations: The prospects of mereotopology,\u201d <i>Data and Knowledge Engineering<\/i>, vol. 20 (1996), pp. 259\u201386.","DOI":"10.1016\/S0169-023X(96)00017-1"},{"key":"47","unstructured":"[47] Walker, A. G., \u201cDur\u00e9es et instants,\u201d <i>La Revue Scientifique<\/i>, vol. 85 (1947), pp. 131\u201334."},{"key":"48","unstructured":"[48] Whitehead, A. N., <i>Process and Reality: An Essay in Cosmology<\/i>, Macmillan, New York, 1929."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T08:00:44Z","timestamp":1721203244000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-2\/The-Mereotopology-of-Time\/10.1215\/00294527-2019-0005.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,1]]},"references-count":48,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,5,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0005","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,5,1]]}}}