{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T19:14:58Z","timestamp":1696360498481},"reference-count":100,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80032-4","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"447-498","source":"Crossref","is-referenced-by-count":5,"title":["Modern temporal logic: The philosophical background"],"prefix":"10.1016","author":[{"given":"Peter","family":"\u00d8hrstr\u00f8m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per","family":"Hasle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80032-4_bib1","series-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence: IJCAI-85, August 18 23","first-page":"528","article-title":"A common-sense theory of time","author":"Allen","year":"1985"},{"key":"10.1016\/S1874-5857(06)80032-4_bib2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","article-title":"Moments and points in an interval-based temporal logic","volume":"5","author":"Allen","year":"1989","journal-title":"Computer Intelligence"},{"key":"10.1016\/S1874-5857(06)80032-4_bib3","volume":"volume 4","year":"2003"},{"key":"10.1016\/S1874-5857(06)80032-4_bib4","series-title":"Logic and Language","first-page":"365","article-title":"Indeterminism and the thin red line","author":"Belnap","year":"1994"},{"key":"10.1016\/S1874-5857(06)80032-4_bib5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","article-title":"Seeing to it that: A canonical form for agentives","volume":"54","author":"Belnap","year":"1988","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80032-4_bib6","series-title":"Agents and Choices in Our Indeterminist World","article-title":"Facing the Future","author":"Belnap","year":"2001"},{"key":"10.1016\/S1874-5857(06)80032-4_bib7","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00414289","article-title":"Branching space-time","volume":"92","author":"Belnap","year":"1992","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80032-4_bib8","series-title":"Agents in branching time","author":"Belnap","year":"1996"},{"key":"10.1016\/S1874-5857(06)80032-4_bib9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7947-6","article-title":"The Logic of Time","author":"van Benthem","year":"1991"},{"key":"10.1016\/S1874-5857(06)80032-4_bib10","series-title":"Modal Logic","first-page":"413","article-title":"Extended modal logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1874-5857(06)80032-4_bib11","series-title":"Studies in Logic and Probability","author":"Boole","year":"1953"},{"key":"10.1016\/S1874-5857(06)80032-4_bib12","series-title":"Proceedings of Fifth International Workshop on Temporal Representation and Reasoning","first-page":"132","article-title":"Ockhamistic logics and true futures of counterfactual moments","author":"Bra\u00fcner","year":"1998"},{"key":"10.1016\/S1874-5857(06)80032-4_bib13","series-title":"Proceedings of Conference on The Logic of Time and Modality","year":"2005"},{"key":"10.1016\/S1874-5857(06)80032-4_bib14","first-page":"59","article-title":"Homophonic theory of truth for tense logic","volume":"volume 3","author":"Bra\u00fcner","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib15","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1023\/A:1019992820056","article-title":"Modal logic, truth, and the master modality","volume":"31","author":"Bra\u00fcner","year":"2002","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80032-4_bib16","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00370320","article-title":"Decidability for branching time","volume":"39","author":"Burgess","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80032-4_bib17","series-title":"Extensions of Classical Logic","first-page":"89","article-title":"Basic tense logic","author":"Burgess","year":"1984"},{"key":"10.1016\/S1874-5857(06)80032-4_bib18","series-title":"Essays on the Legacy of Arthur Prior","article-title":"Logic and Reality","year":"1996"},{"key":"10.1016\/S1874-5857(06)80032-4_bib19","article-title":"The Problem of Divine Foreknowledge and Future Contingents from Aristotle to Suarez","author":"Craig","year":"1988","journal-title":"E.J. Brill"},{"key":"10.1016\/S1874-5857(06)80032-4_bib20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1017\/S0034412500001840","article-title":"Nice soft facts: Fischer on foreknowledge","volume":"25","author":"Craig","year":"1989","journal-title":"Religious Studies"},{"key":"10.1016\/S1874-5857(06)80032-4_bib21","series-title":"A Critical Examination","article-title":"The Tensed Theory of Time","author":"Craig","year":"2000"},{"key":"10.1016\/S1874-5857(06)80032-4_bib22","series-title":"God, Time and Eternity","author":"Craig","year":"2001"},{"key":"10.1016\/S1874-5857(06)80032-4_bib23","series-title":"Relativity and the \u2018elimination\u2019 of absolute time","author":"Craig","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib24","article-title":"Formal Interpretations","year":"2000"},{"key":"10.1016\/S1874-5857(06)80032-4_bib25","series-title":"The reality of tense","author":"Fine","year":"2005"},{"key":"10.1016\/S1874-5857(06)80032-4_bib26","series-title":"The Metaphysics of Free Will","author":"Fischer","year":"1994"},{"key":"10.1016\/S1874-5857(06)80032-4_bib27","series-title":"The Study of Time","year":"1972"},{"key":"10.1016\/S1874-5857(06)80032-4_bib28","article-title":"Temporal logic","volume":"volume 1","author":"Gabbay","year":"1994"},{"key":"10.1016\/S1874-5857(06)80032-4_bib29","article-title":"Temporal logic","volume":"volume 2","author":"Gabbay","year":"2000"},{"issue":"2-3","key":"10.1016\/S1874-5857(06)80032-4_bib30","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BF00370321","article-title":"Diodorean modality in Minkowski spacetime","volume":"39","author":"Goldblatt","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80032-4_bib31","series-title":"Instants and intervals","author":"Hamblin","year":"1972"},{"key":"10.1016\/S1874-5857(06)80032-4_bib32","author":"Hasle"},{"key":"10.1016\/S1874-5857(06)80032-4_bib33","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1023\/A:1025059002654","article-title":"Active agents","volume":"12","author":"Hendricks","year":"2003","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(06)80032-4_bib34","series-title":"Forcing Epistemology","author":"Hendricks","year":"2003"},{"key":"10.1016\/S1874-5857(06)80032-4_bib35","series-title":"Synthese Library","article-title":"New Studies in Deontic Logic, Norms, Actions, and Foundations of Ethics","year":"1981"},{"key":"10.1016\/S1874-5857(06)80032-4_bib36","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF01306968","article-title":"The deliberative stit: A study of action, omission, ability, and obligation","volume":"24","author":"Horty","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80032-4_bib37","series-title":"Agency and Deontic Logic","author":"Horty","year":"2001"},{"key":"10.1016\/S1874-5857(06)80032-4_bib38","article-title":"On Tense Logic and the Theory of Order","author":"Kamp","year":"1968"},{"key":"10.1016\/S1874-5857(06)80032-4_bib39","series-title":"The Logic of Reliably Inquiry","author":"Kelly","year":"1996"},{"key":"10.1016\/S1874-5857(06)80032-4_bib40","series-title":"An Essay on God, Temporality and Truth","article-title":"The Future","author":"Lucas","year":"1989"},{"key":"10.1016\/S1874-5857(06)80032-4_bib41","series-title":"A note on time and tense","author":"Lucas","year":"1999"},{"key":"10.1016\/S1874-5857(06)80032-4_bib42","article-title":"Logic and Knowledge","year":"1956"},{"key":"10.1016\/S1874-5857(06)80032-4_bib43","doi-asserted-by":"crossref","first-page":"17","DOI":"10.2307\/2216154","article-title":"Tense logic. Why bother?","volume":"3","author":"Massey","year":"1969","journal-title":"NOUS"},{"key":"10.1016\/S1874-5857(06)80032-4_bib44","series-title":"Tense Logic","author":"McArthur","year":"1976"},{"key":"10.1016\/S1874-5857(06)80032-4_bib45","series-title":"Space-Time, Probability, and Decision","article-title":"A Model of the Universe","author":"McCall","year":"1994"},{"key":"10.1016\/S1874-5857(06)80032-4_bib46","first-page":"456","article-title":"The unreality of time","volume":"17","author":"McTaggart","year":"1908","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(06)80032-4_bib47","series-title":"Real Time","author":"Mellor","year":"1981"},{"key":"10.1016\/S1874-5857(06)80032-4_bib48","series-title":"Real Time II","author":"Mellor","year":"1998"},{"key":"10.1016\/S1874-5857(06)80032-4_bib49","series-title":"Eine Problomorientierte Darstellung","article-title":"Arthur Priors Zeitlogik","author":"M\u00fcller","year":"2000"},{"key":"10.1016\/S1874-5857(06)80032-4_bib50","series-title":"Branching space-time, modal logic, and the counterfactual conditional","author":"M\u00fcller","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib51","series-title":"The Structure of Time","author":"Newton-Smith","year":"1980"},{"key":"10.1016\/S1874-5857(06)80032-4_bib52","first-page":"477","article-title":"Is the semantics of branching structures adequate for non-metric Ockhamist tense logics","volume":"8","author":"Nishimura","year":"1979","journal-title":"Journal of Philosohical Logic"},{"key":"10.1016\/S1874-5857(06)80032-4_bib53","article-title":"Temporal Logic from Ancient Ideas to Artificial Intelligence","author":"\u00d8hrstr\u00f8m","year":"1995"},{"key":"10.1016\/S1874-5857(06)80032-4_bib54","first-page":"180","article-title":"Richard Lavenham on future contingents","volume":"44","author":"\u00d8hrstr\u00f8m","year":"1983","journal-title":"Cahiers de l'Institut du Moyen-\u00c2ge Grec et Latin"},{"key":"10.1016\/S1874-5857(06)80032-4_bib55","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00166386","article-title":"Anselrn, Ockham and Leibniz on divine foreknowledge and human freedom","volume":"21","author":"\u00d8hrstr\u00f8m","year":"1984","journal-title":"Erkenntnis"},{"key":"10.1016\/S1874-5857(06)80032-4_bib56","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0315-0860(85)90067-9","article-title":"Hamilton's view of algebra as the science of pure time and his revision of this view","volume":"12","author":"\u00d8hrstr\u00f8m","year":"1985","journal-title":"Historia Mathematica"},{"key":"10.1016\/S1874-5857(06)80032-4_bib57","series-title":"Nogle aspekter af tidsbegrebets rolle i de eksakte vidensk-aber med s\u02e6rligt henblik p logikken en videnskabshistorisk og en videnskabsteoretisk unders","author":"\u00d8hrstr\u00f8m","year":"1988"},{"key":"10.1016\/S1874-5857(06)80032-4_bib58","first-page":"140","article-title":"Tense logic and the special theory of relativity","author":"\u00d8hrstr\u00f8m","year":"2000"},{"key":"10.1016\/S1874-5857(06)80032-4_bib59","series-title":"Time, Reality and Transcendence in Rational Perspective","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib60","volume":"volume I VIII","author":"Sanders Pcirce","year":"1931-1958"},{"key":"10.1016\/S1874-5857(06)80032-4_bib61","volume":"volume II","author":"Sanders Peirce","year":"1976"},{"key":"10.1016\/S1874-5857(06)80032-4_bib62","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF00485267","article-title":"Stit and the language of agency","volume":"86","author":"Perloff","year":"1991","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80032-4_bib63","first-page":"71","article-title":"Stit and the imperative","volume":"32","author":"Perloff","year":"1995","journal-title":"American Philosophical Quarterly"},{"key":"10.1016\/S1874-5857(06)80032-4_bib64","article-title":"Non-locality and Modality","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib65","series-title":"The Philosophy of Time","year":"1993"},{"key":"10.1016\/S1874-5857(06)80032-4_bib66","doi-asserted-by":"crossref","first-page":"467","DOI":"10.2307\/2956356","article-title":"Time, tense and topology","volume":"46","author":"Le Poidevin","year":"1996","journal-title":"Philosophical Quarterly"},{"key":"10.1016\/S1874-5857(06)80032-4_bib67","series-title":"From Being to Becoming, Time and Complexity in the Physical Sciences","author":"Prigogine","year":"1980"},{"key":"10.1016\/S1874-5857(06)80032-4_bib68","series-title":"Worlds, Times and Selves","author":"Prior","year":"1977"},{"key":"10.1016\/S1874-5857(06)80032-4_bib69","series-title":"Time and Modality","author":"Prior","year":"1957"},{"key":"10.1016\/S1874-5857(06)80032-4_bib70","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/S1874-5857(06)80032-4_bib71","series-title":"Papers on Time and Tense","author":"Prior","year":"1968"},{"key":"10.1016\/S1874-5857(06)80032-4_bib72","series-title":"The notion of the present","author":"Prior","year":"1972"},{"key":"10.1016\/S1874-5857(06)80032-4_bib73","series-title":"Some free thinking about time","author":"Prior","year":"1996"},{"key":"10.1016\/S1874-5857(06)80032-4_bib74","article-title":"Papers on Time and Tense","author":"Prior","year":"2003"},{"key":"10.1016\/S1874-5857(06)80032-4_bib75","series-title":"Light in Einstein's Universe","author":"Prokhovnik","year":"1985"},{"key":"10.1016\/S1874-5857(06)80032-4_bib76","article-title":"Common Sense Time and Special Relativity","author":"Raki\u0107","year":"1997"},{"key":"10.1016\/S1874-5857(06)80032-4_bib77","series-title":"Elements of Symbolic Logic","author":"Reichenbach","year":"1947"},{"key":"10.1016\/S1874-5857(06)80032-4_bib78","series-title":"Temporal Logic","author":"Rescher","year":"1971"},{"key":"10.1016\/S1874-5857(06)80032-4_bib79","series-title":"An axiomatization of Prior's Ockhamist logic of historical necessity","author":"Reynolds","year":"2003"},{"key":"10.1016\/S1874-5857(06)80032-4_bib80","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF00262866","article-title":"Intervals and tenses","volume":"9","author":"R\u00f6per","year":"1980","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80032-4_bib81","series-title":"Our Knowledge of the External World","author":"Russell","year":"1914"},{"key":"10.1016\/S1874-5857(06)80032-4_bib82","series-title":"On order in time","author":"Russell","year":"1936"},{"key":"10.1016\/S1874-5857(06)80032-4_bib83","series-title":"Other withered stumps of time","author":"Sylvan","year":"1996"},{"key":"10.1016\/S1874-5857(06)80032-4_bib84","series-title":"Deontic logic and the r\u00f4le of freedom in moral deliberations","author":"Thomason","year":"1981"},{"key":"10.1016\/S1874-5857(06)80032-4_bib85","series-title":"Deontic logic as founded on tense logic","author":"Thomason","year":"1981"},{"key":"10.1016\/S1874-5857(06)80032-4_bib86","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00297578","article-title":"On constructing instants from events","volume":"13","author":"Thomason","year":"1984","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80032-4_bib87_1","series-title":"A short text of Lavenham","author":"Tuggy","year":"1999"},{"key":"10.1016\/S1874-5857(06)80032-4_bib87_2","series-title":"A Tract on Future Events","year":"1999"},{"issue":"3266","key":"10.1016\/S1874-5857(06)80032-4_bib88","article-title":"Dur\u00e9es et instants","author":"Walker","year":"1947","journal-title":"La Revue Scientifique"},{"key":"10.1016\/S1874-5857(06)80032-4_bib89","series-title":"Time, Creation and World-Order","year":"1999"},{"key":"10.1016\/S1874-5857(06)80032-4_bib90","series-title":"Towards a new metaphysics of time and creation","author":"Wegener","year":"1999"},{"key":"10.1016\/S1874-5857(06)80032-4_bib91","series-title":"Ideas of cosmology, a philosopher's synthesis","author":"Wegener","year":"2000"},{"issue":"11","key":"10.1016\/S1874-5857(06)80032-4_bib92","doi-asserted-by":"crossref","first-page":"1777","DOI":"10.1007\/s10701-004-1316-z","article-title":"The idea of a cosmic time","volume":"34","author":"Wegener","year":"2004","journal-title":"Foundations of Physics"},{"key":"10.1016\/S1874-5857(06)80032-4_bib93","series-title":"The Natural Philosophy of Time","author":"Whitrow","year":"1980"},{"key":"10.1016\/S1874-5857(06)80032-4_bib94","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","article-title":"Deontic logic","volume":"60","author":"Henrik von Wright","year":"1951","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(06)80032-4_bib95","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1004948726086","article-title":"Causation in branching time (1): Transitions, events and causes","volume":"112","author":"Xu","year":"1997","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(06)80032-4_bib96","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00935598","article-title":"Axiomatization of \u2018Peircean\u2019 branching-time logic","volume":"49","author":"Zanardo","year":"1990","journal-title":"Stadia Logica"},{"key":"10.1016\/S1874-5857(06)80032-4_bib97","series-title":"Proceedings of The Fiftli Tbilisi Symposium on Language, Logic and Computation","article-title":"Branching-time as a relative closeness relation among histories","author":"Zanardo","year":"2003"},{"key":"10.1016\/S1874-5857(06)80032-4_bib98","series-title":"Proceedings of HPLMC-02: Second International Workshop on the History and Philosophy of Logic, Mathematics and Computation","article-title":"First-order and second-order aspects of branching-time semantics","author":"Zanardo","year":"2002"},{"key":"10.1016\/S1874-5857(06)80032-4_bib99","series-title":"Moment\/history duality in Prior's logics of branching-time","author":"Zanardo","year":"2003"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T23:46:03Z","timestamp":1556840763000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":100,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80032-4","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}