No future

Journal of Philosophical Logic

Volumn 30, Issue 3, 2001, Pages 259-265

  Horsten, Leon ^a   Leitgeb, Hannes ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Diagonalization; Paradox; Tense logic; Tense predicates

Indexed keywords

EID: 52549083844     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1017569601150     Document Type: Article

References (10)

1. Boolos, G. and Jeffrey, R.: Computability and Logic, 3rd edn, Cambridge University Press, Cambridge, 1989.
2. Burgess, J.: Basic tense logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, 1984, pp. 89-133.
3. Friedman, H. and Sheard, M.: An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic 33 (1987), 1-21.
4. Kaplan, D. and Montague, R.: A paradox regained, Notre Dame J. Formal Logic 1 (1960), 79-90.
5. McGee, V.: How truthlike can a predicate be? A negative result, J. Philos. Logic 14 (1985), 399-410.
6. Montague, R.: Syntactic treatments of modality with corollaries on reflexion principles and finite axiomatizability, Acta Philos. Fennica 16 (1963), 153-167.
7. Prior, A.: Past, Present and Future, Oxford University Press, London, 1967.
8. Sheard, M.: A guide to truth predicates in the modern era, J. Symbolic Logic 59 (1994), 1032-1054.
9. Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica 1 (1935), 261-405.
10. Thomason, R.: A note on syntactical treatments of modality, Synthese 44 (1980), 391-395.