Switch to: References

Citations of:

A note on future branching time

Theoria 41 (2):89-95 (1975)

Add citations

You must login to add citations.
  1. Freedom, Foreknowledge, and the Necessity of the Past.Larry Wayne Hohm - 1984 - Dissertation, University of Massachusetts Amherst
    There is an ancient puzzle about divine foreknowledge and human freedom. If God has already known that you will do a certain thing tomorrow, then it must already be a settled fact that God has known this. Since knowledge entails truth, it must also be a settled fact that you will do it. In that case, you really cannot avoid doing it. If so, then when you do it tomorrow, you won't do it freely. ;This dissertation consists of a careful (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):111-112.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Mathematical Logic Quarterly 27 (7):111-112.
    Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.
    Download  
     
    Export citation  
     
    Bookmark   2 citations