Two-Dimensional Propositional Tense Logics

  • Dov M. Gabbay
Part of the Boston Studies in the Philosophy of Science book series (BSPS, volume 43)


Consider the following tensed sentences:
  1. (1)

    John will win

  2. (2)

    John did win (won)

  3. (3)

    John has been winning (all the time)

  4. (4)

    Since John won he did not write to Mary.



Induction Hypothesis Truth Table Logical System Kripke Model Tense Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Gabbay, D. M., 1974, ‘Tense Logics and the Tenses of English’, in Readings in Logic, J. Moravcsik (ed.), Mouton, The Hague.Google Scholar
  2. Gabbay, D. M., 1974, ‘A Theory of Proper Names and Conceptual Change’, in Philosophia 6.Google Scholar
  3. Gabbay, D. M., 1975, ‘Model Theory for Tense Logics’, Annals of Mathematical Logic 8, 185–236.CrossRefGoogle Scholar
  4. Prior, A. N., 1967, Past Present Future, Oxford University Press, 1967.Google Scholar
  5. Segerberg, K., 1973, ‘Two Dimensional Modal Logics’, Journal of Philosophical Logic 2, 77–96.CrossRefGoogle Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht-Holland 1976

Authors and Affiliations

  • Dov M. Gabbay
    • 1
  1. 1.Bar-Ilan UniversityIsrael

Personalised recommendations