Combinations of Tense and Modality

Physics should have helped us to realise that a temporal theory of a phenomenon X is, in general, more than a simple combination of two components: the statics of X and the ordered set of temporal instants. The case in which all functions from times to world-states are allowed is uninteresting; there are too many such functions, and the theory has not begun until we have begun to restrict them. And often the principles that emerge from the interaction of time with the phenomena seem new and surprising. The most dramatic example of this, perhaps, is the interaction of space with time in relativistic space-time.

[1]  J. Dewey.  Studies In Logical Theory , 1904 .

[2]  C. Lewis,et al.  A Survey Of Symbolic Logic , 1920 .

[3]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[4]  Peter F. Strawson,et al.  In defense of a dogma , 1956 .

[5]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[6]  J. Edwards,et al.  Freedom of the will , 1958 .

[7]  P. B. Downing.  VII.—Subjunctive Conditionals, Time Order, and Causation , 1959 .

[8]  Robert M. Gagne,et al.  Decisions, Values, and Groups , 1961 .

[9]  R. M. Hare.  Freedom and reason , 1964 .

[10]  Keith Lehrer,et al.  Time, truth and modalities , 1965 .

[11]  Keith Lehrer,et al.  VI.—TIME, TRUTH AND MODALITIES , 1965 .

[12]  R. Jeffrey.  The Logic of Decision , 1984 .

[13]  R. Jeffrey.  Ethics and the Logic of Decision , 1965 .

[14]  R. Jeffrey,et al.  The Philosophy of Rudolf Carnap , 1966 .

[15]  B. V. Fraassen.  Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[16]  L. Åqvist.  Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations , 1967 .

[17]  Lawrence Powers,et al.  Some Deontic Logicians , 1967 .

[18]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[19]  B. Hansson.  An analysis of some deontic logics , 1969 .

[20]  J. Hintikka.  Deontic Logic and its Philosophical Morals , 1969 .

[21]  Risto Hilpinen,et al.  Deontic Logic: An Introduction , 1970 .

[22]  David Lewis,et al.  Anselm and Actuality , 1970 .

[23]  Jaakko Hintikka.  Some Main Problems of Deontic Logic , 1970 .

[24]  K. Seeskin,et al.  Many-Valued Logic and Future Contingencies , 1971 .

[25]  Van Fraassen,et al.  Formal semantics and logic , 1971 .

[26]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[27]  Alwyn van der Merwe,et al.  Perspectives in quantum theory , 1971 .

[28]  Patricia Greenspan,et al.  Conditional Oughts and Hypothetical Imperatives , 1975 .

[29]  William Harper.  Rational Belief Change, Popper Functions and Counterfactuals , 1975 .

[30]  E. Sosa.  Causation and conditionals , 1975 .

[31]  D. Clarke.  The logical form of imperatives , 1975 .

[32]  Jaakko Hintikka,et al.  Models for modalities , 1975 .

[33]  Alan Code,et al.  Aristotle's response to Quine's objections to modal logic , 1976, J. Philos. Log..

[34]  Krister Segerberg,et al.  An introduction to modal logic : the Lemmon notes , 1977 .

[35]  Angelika Kratzer,et al.  What ‘must’ and ‘can’ must and can mean , 1977 .

[36]  F. Jackson.  A causal theory of counterfactuals , 1977 .

[37]  M. Slote,et al.  Time in Counterfactuals , 1978 .

[38]  Hirokazu Nishimura,et al.  Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? , 1979, J. Philos. Log..

[39]  David Kaplan,et al.  On the logic of demonstratives , 1979, J. Philos. Log..

[40]  David Lewis,et al.  Scorekeeping in a language game , 1979, J. Philos. Log..

[41]  David Lewis.  Counterfactual Dependence and Time's Arrow , 1979 .

[42]  John P. Burgess,et al.  Logic and time , 1979, Journal of Symbolic Logic.

[43]  Hirokazu Nishimura,et al.  Is the semantics of branching structures adequate for chronological modal logics? , 1979, J. Philos. Log..

[44]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[45]  R. Thomason,et al.  A Theory of Conditionals in the Context of Branching Time , 1980 .

[46]  William Harper,et al.  A Sketch of Some Recent Developments in the Theory of Conditionals , 1980 .

[47]  D. Lewis.  A Subjectivist’s Guide to Objective Chance , 1980 .

[48]  B. V. Fraassen.  A Temporal Framework for Conditionals and Chance , 1980 .

[49]  J. Burgess.  Decidability for branching time , 1980 .

[50]  R. Sorabji.  Necessity, Cause and Blame: Perspectives on Aristotle's Theory , 1981 .

[51]  William Harper,et al.  Ifs. Conditionals, Belief, Decision, Chance, and Time , 1981 .

[52]  Richmond H. Thomason,et al.  Deontic Logic and the Role of Freedom in Moral Deliberation , 1981 .

[53]  Uwe Mönnich,et al.  Aspects of Philosophical Logic , 1981 .

[54]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[55]  Judith Wagner DeCew.  Conditional obligation and counterfactuals , 1981, J. Philos. Log..

[56]  Jaap Hoepelman,et al.  Some Theorems about a “Tree” System of Deontic Tense Logic , 1981 .

[57]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[58]  acobus Adrianus van Eck.  A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[59]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[60]  D. Gabbay.  An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames , 1981 .

[61]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[62]  Arthur Fine,et al.  Joint distributions, quantum correlations, and commuting observables , 1982 .

[63]  J. Bennett.  Counterfactuals and temporal direction , 1984 .

[64]  Stephen Read,et al.  The Cambridge History of Later Medieval Philosophy , 1984 .

[65]  Saharon Shelah,et al.  The Decision Problem for Branching Time Logic , 1985, J. Symb. Log..

[66]  E. Wigner.  Quantum-Mechanical Distribution Functions Revisited , 1997 .

[67]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[68]  Anthony S. Gillies,et al.  Rational belief change , 2001 .

[69]  Virendra Singh,et al.  Quantum Mechanics and Reality , 2004, quant-ph/0412148.

[70]  Gilbert Harman,et al.  Semantics of natural language , 2004, Synthese.