Switch to: Citations

References in:

An approach to tense logic

Theoria 36 (3):282-300 (1970)

Add references

You must login to add references.
  1. Papers on time and tense.Arthur Norman Prior - 2003 - New York: Oxford University Press. Edited by Per F. V. Hasle.
    This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which (...)
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
    Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.
    Download  
     
    Export citation  
     
    Bookmark   237 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Download  
     
    Export citation  
     
    Bookmark   318 citations  
  • An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • A Proof of the Completeness Theorem of Godel.H. Rasiowa & R. Sikorski - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
    Download  
     
    Export citation  
     
    Bookmark   369 citations  
  • Papers on time and tense.A. N. Prior - 1968 - Revue Philosophique de la France Et de l'Etranger 160:500-501.
    Download  
     
    Export citation  
     
    Bookmark   190 citations