References in work:

Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic.

22 found
Order:
Are we missing references?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add references for the above work:

  1. Logic, Logic, and Logic.George Boolos - 1998 - Harvard University Press.
    This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   76 citations  
  2.  58
    Necessary Truth and a Priori Truth.David Bostock - 1988 - Mind 97 (387):343-379.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  3. Entities and Indicies.M. J. Cresswell - 1991 - Kluwer Academic Publishers.
     
    Export citation  
     
    My bibliography   33 citations  
  4. Languages of Possibility: An Essay in Philosophical Logic.Graeme Forbes - 1989 - Blackwell.
  5.  6
    Model Theory for Tense Logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1-2):185-236.
  6.  38
    Actuality and Quantification.Allen Hazen - 1990 - Notre Dame Journal of Formal Logic 31 (4):498-508.
  7.  50
    The Eliminability of the Actuality Operator in Propositional Modal Logic.Allen Hazen - 1978 - Notre Dame Journal of Formal Logic 19 (4):617-622.
  8. Expressive Completeness in Modal Language.Allen Hazen - 1976 - Journal of Philosophical Logic 5 (1):25--46.
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  9.  70
    Axioms for Actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
  10.  49
    Some Theorems on the Expressive Limitations of Modal Languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.
  11. Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.
  12. Tense Logic and the Theory of Linear Order.Hans Kamp - 1968 - Dissertation, Ucla
    Translate
     
     
    Export citation  
     
    My bibliography   10 citations  
  13.  30
    Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
    This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view of times (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  14. Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
    There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15. The Presentist’s Dilemma.Ulrich Meyer - 2005 - Philosophical Studies 122 (3):213-225.
    This paper defends three theses: that presentism is either trivial or untenable; that the debate between tensed and tenseless theories of time is not about the status of presentism; and that there is no temporal analogue of the modal thesis of actualism.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  16.  63
    Now.A. N. Prior - 1968 - Noûs 2 (2):101-119.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  17.  39
    Time and Modality.A. N. Prior - 1955 - Greenwood Press.
  18.  72
    From a Logical Point of View.W. V. Quine - 1953 - Harvard University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   426 citations  
  19. Ontology and Ideology.W. V. Quine - 1951 - Philosophical Studies 2 (1):11 - 15.
  20. Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
  21.  84
    Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford University Press.
    The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   72 citations  
  22.  24
    Tense Logic and Standard Logic.Johan Fak van Benthem - 1977 - Logique Et Analyse 20 (80):41-83.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations