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
 

Boxes 23-29 / O

Offprints from the collection of A.N. Prior
donated by
Mrs. Prior
These offprints must be ordered up from the basement stack.
Readers are requested to ask for these only if they are not available in the main offprint collection.
 
Oathout, M.C. Censorhip and mental patients (Library quarterly, 24 (1), January 1954)
Ofstad, H. Objectivity of norms and value-judgments according to recent Scandinavian philosophy (Philosophy and phenomenological research, 12 (1), September 1951)
Ohnishi, M. Gentzen decision procedures for Lewis’s systems S2 and S3 (Osaka mathematical journal, 13 (1), June 1961)
Ohnishi, M./Matsumoto, K. Gentzen method in modal calculi (Osaka mathematical journal, 9 (2), December 1957)
Ohnishi, M./Matsumoto, K. Gentzen method in modal calculi II (Osaka mathematical journal, 11 (1), June 1959)
Ohnishi, M. Von Wright’s decision procedures for Lewis’s systems S2 and S3 (Osaka mathematical journal, 13 (1), June 1961)
   
Updated December 23, 2017