{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:21:00Z","timestamp":1775280060296,"version":"3.50.1"},"reference-count":29,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,4,1]]},"DOI":"10.1215\/00294527-2009-007","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T14:11:17Z","timestamp":1257948677000},"source":"Crossref","is-referenced-by-count":7,"title":["Times in Tense Logic"],"prefix":"10.1215","volume":"50","author":[{"given":"Ulrich","family":"Meyer","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] van Benthem, J. F. A. K., \"Tense logic and standard logic\", <i>Logique et Analyse. Nouvelle S\u00e9rie<\/i>, vol. 80 (1977), pp. 395--437."},{"key":"4","unstructured":"[4] Crossley, J. N., and L. Humberstone, \"The logic of `actually'\", <i>Reports on Mathematical Logic<\/i>, vol. 8 (1977), pp. 11--29."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Gabbay, D. M., \"Model theory for tense logics\", <i>Annals of Mathematical Logic<\/i>, vol. 8 (1975), pp. 185--236.","DOI":"10.1016\/0003-4843(75)90003-0"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Hazen, A., \"Expressive completeness in modal language\", <i>Journal of Philosophical Logic<\/i>, vol. 5 (1976), pp. 25--46.","DOI":"10.1007\/BF00263656"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Hazen, A., \"The eliminability of the actuality operator in propositional modal logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 19 (1978), pp. 617--22.","DOI":"10.1305\/ndjfl\/1093888509"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Hodes, H. T., \"Some theorems on the expressive limitations of modal languages\", <i>Journal of Philosophical Logic<\/i>, vol. 13 (1984), pp. 13--26.","DOI":"10.1007\/BF00297574"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Kamp, H., \"Formal properties of `now'\", <i>Theoria<\/i>, vol. 37 (1971), pp. 227--73.","DOI":"10.1111\/j.1755-2567.1971.tb00071.x"},{"key":"15","unstructured":"[15] Lewis, D. K., <i>Counterfactuals<\/i>, Harvard University Press, Cambridge, 1973."},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Meyer, U., \"Worlds and times\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 47 (2006), pp. 25--37.","DOI":"10.1305\/ndjfl\/1143468309"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Reynolds, M., \"Axiomatisation and decidability of $F$\" and $P$ in cyclical time, <i>Journal of Philosophical Logic<\/i>, vol. 23 (1994), pp. 197--224.","DOI":"10.1007\/BF01050343"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Russell, B., \"On order in time\", <i>Proceedings of the Cambridge Philosophical Society<\/i>, vol. 32 (1936), pp. 216--28.","DOI":"10.1017\/S0305004100001766"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Segerberg, K., \"Two-dimensional modal logic\", <i>Journal of Philosophical Logic<\/i>, vol. 2 (1973), pp. 77--96.","DOI":"10.1007\/BF02115610"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Burgess, J. P., \"Basic tense logic\", pp. 1--42 in <i>Handbook of Philosophical Logic 7<\/i>, edited by D. Gabbay and F. Guenthner, vol. 165 of <i>Synthese Library<\/i>, Kluwer, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-0462-5_1"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Cresswell, M. J., <i>Entities and Indices<\/i>, Kluwer, Dordrecht, 1990.","DOI":"10.1007\/978-94-009-2139-9"},{"key":"5","unstructured":"[5] van Fraassen, B., <i>An Introduction to the Philosophy of Time and Space<\/i>, Random House, New York, 1970."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Gabbay, D., M. Finger, and M. Reynolds, \"Advanced tense logic\", pp. 43--203 in <i>Handbook of Philosophical Logic 7<\/i>, edited by D. Gabbay and F. Guenthner, vol. 165 of <i>Synthese Library<\/i>, Kluwer, Dordrecht, 2002.","DOI":"10.1007\/978-94-017-0462-5_2"},{"key":"10","unstructured":"[10] Higginbotham, J., <i>Tense, Indexicality, and Consequence<\/i>, edited by J. Butterfield, The Clarendon Press, Oxford, 1999."},{"key":"12","unstructured":"[12] Kamp, H., <i>Tense Logic and the Theory of Linear Orders<\/i>, Ph.D. thesis, University of California, Los Angeles, 1968."},{"key":"14","unstructured":"[14] Lewis, D. K., <i>On the Plurality of Worlds<\/i>, Blackwell, Oxford, 1986."},{"key":"16","unstructured":"[16] Mellor, D. H., <i>Real Time<\/i>, Cambridge University Press, Cambridge, 1981."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Meyer, U., \"The presentist's dilemma\", <i>Philosophical Studies<\/i>, vol. 122 (2005), pp. 213--25.","DOI":"10.1007\/s11098-005-1784-9"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Meyer, U., ``,`Now' and `then' in tense logic,'' <i>Journal of Philosophical Logic<\/i>, vol. 38 (2009), pp. 229--47.","DOI":"10.1007\/s10992-008-9090-6"},{"key":"20","unstructured":"[20] Myro, G., <i>Existence and Time<\/i>, edited by R. Grandy and R. Warner, The Clarendon Press, Oxford, 1986."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Myro, G., \"Time and essence\", pp. 331--41 in <i>Studies in Essentialism<\/i>, edited by P. French, T. Uehling, and H. Wettstein, vol. 11 of <i>Midwest Studies in Philosophy<\/i>, University of Minnesota Press, Minneapolis, 1986.","DOI":"10.1111\/j.1475-4975.1986.tb00502.x"},{"key":"22","unstructured":"[22] Newton-Smith, W. H., <i>The Structure of Time<\/i>, Routledge, London, 1980."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Quine, W. V., \"Ontology and ideology\", <i>Philosophical Studies<\/i>, vol. 2 (1951), pp. 11--15.","DOI":"10.1007\/BF02198233"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Quine, W. V., \"Propositional objects\", pp. 139--60 in <i>Ontological Relativity and Other Essays<\/i>, Harvard University Press, Cambridge, 1969.","DOI":"10.7312\/quin92204"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Roper, A., \"Towards an eliminative reduction of possible worlds\", <i>Philosophical Quarterly<\/i>, vol. 32 (1982), pp. 45--59.","DOI":"10.2307\/2219000"},{"key":"29","unstructured":"[29] Vlach, F., <i>`Now' and `Then': A Formal Study in the Logic of Tense Anaphora<\/i>, Ph.D. thesis, University of California, Los Angeles, 1973."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:17Z","timestamp":1706648237000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-2\/Times-in-Tense-Logic\/10.1215\/00294527-2009-007.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,1]]},"references-count":29,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2009,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-007","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}