Citations of work:

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

Order:
Are we missing citations?

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 citations for the above work:

  1.  25
    Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
    This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  21
    Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
    Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of language and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  96
    Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
    The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations