Foundations of Temporal Logic – The WWW-site for Prior-studies
a joint project between
Department of Information Studies – University of Copenhagen
and
Department of Communication and Psychology – Aalborg University

 

www.priorstudies.org

 

Contents of box 3 (correspondence)

GENERAL NOTICE:
Most letters in box 3 have not been studied thoroughly till now, so the following description is mainly in headlines.

21. The Graham Nerlich correspondence
A few letters from Nerlich, 1957.

22. The Timothy Potts correspondence
A number of letters from Potts, 1962–67.
These are just signed 'Timothy', but David and Steffi Lewis as well as Mary Prior believe they are from Timothy Potts; indeed they are written on 'University of Leeds' paper, where Potts was in these years.
--- Per Hasle
23. The Smart correspondence
A substantial number of letters from Smart, 1951–69 (the great majority 51-56). <info>

24. The Tim Smiley correspondence
3 letters from Smiley (1961, 1963, the last letter undated). Two manuscripts:
  • - 'On Lukasiewicz's L-modal system' (in all likelihood by Smiley, and at any rate not by ANP)
  • - 'What is Strict Implication'
By some author, presenting joint work by himself and Smiley (See p. 3 'Acknowledgements'); on account of the style the other author could hardly be ANP.
--- Per Hasle

25. The Sobocinsky correspondence
A number of letters from Sobocinsky, 1953–69.

26. The Ivo Thomas correspondence
A substantial number of letters from Thomas, 1952–69.

27. The Christopher Williams correspondence
A few letters from Williams, 1968.

28. The G.H. von Wright correspondence
A few letters from von Wright, 1955–66.

29. Manuscript
Manuscripts by Sibajiban:
    1. Sibajiban: 'Fallacy and Contradiction', T (7 p.)
    2. Manjulekha Bhattacharya, and Sibajiban: 'Equivalence of Formulae Containing Mixed Quantification', T (3 p.)
    3. Sibajiban: 'Alternative Logics of Knowledge', T (16 p.)
   
Updated December 23, 2017