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 / B

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.
 
Baier, K. Moral obligation (American philosophical quarterly, 3 (3), July 1966)
Baker, A.J. John Anderson and freethought (Australian quarterly, December 1962
Barcan, R.C. The deduction theorem in a functional calculus of first order (Journal of symbolic logic, 11 (4), December 1946)
Baumrin, B.H. Is there a naturalistic fallacy?(American philosophical quarterly, 5 (2), April 1968)
Bausch, A.F. Modus ponens under hypotheses (Journal of symbolic logic, 29 (4), December 1964)
Bayart, A. La correction de la Logique de Modale du 1er and 2eme ordre (Logique et analyse, 1, Janvier 1958)
Bayart, A. Quasi-adéquation de la logique modale de 2eme ordre (2 copies) (Logique et analyse, 2, Avril, 1959)
Becker, O. A.N. Prior: time and modality (Philosophische Rundschau, 6, 1958)
Becker, O. Über den Kurieuwn locoz des Diodoros Kronos (Rheinisches Museum für Philologie, 1956)
Becker, O. Zur Rekonstruktion des Kyrieuon logos des Diodoros Kronos (Erkenntnis und Verantwortung, 1961)
Bednarowski, W. Hamilton’s quantification of the predicate (Proceedings of the Aristotleian Society, 1956)
Bell, D.R. La filosofia oggi in Gran Bretagna (Il Protagora, 1 (2-3), Arpile-Giugno 1959)
Bennett, J. Iterated modalities (Philosophical quarterly, 5 (18), January 1955)
Bennett, J. Meaning and implication (Mind, 63 (252), October 1954)
Berg, J. A note on deontic logic (Mind, 69 (276), October 1960)
Bergman, G. Some reflections on time (Archivio di filosofia organo dell’Instituto di Studi Filosfici,1958)
Bergström, L. Utilitarianism and deontic logic (Analysis, 29 (2), December 1968)
Berka, K. Historické podmínky vzniku vyrokové logiky stoikü (Philosophica, 2 (1), 1956)
Berka, K. Poznámky k textu sedmé knihy Diogena Laertskékho Vitae clarorum philosophorum (Listy filologicke, 6 (81) 1958)
Berka, K. Zur Problematik der peripatetischen Schlüsse (Deutsche Zeitschrift für Philosophie, 6 (6))
Berlin, I. John Stuart Mill and the ends of life (Robert Waley Cohen Memorial Lecture, Council of Christians and Jews, London, 1959)
Beth, E.W. Considérations heuristiques sur les méthodes de déduction par séquences (Loqique et analyse, 2, October 1959)
Beth, E.W. On Mannoury’s method (Synthese, 10a)
Beth, E.W. On Padoa’s method in the theory of definition (Proceedings of the Akademie van Wetenschappen, Series A, 56 (4), 1953)
Beth, E.W. On the completeness of the classical sentential logic (Proceedings of the Akademie van Wetenschappen, Series A., 61 (4), 1958)
Beth, E.W. Remarks on intuitionistic logic (Constructivity in mathematics)
Beth, E.W. Science and classification (Synthese, 11 (3), September 1959)
Beth, E.W. Semantic entailment and formal derivability (Nieuew Reeks, 18 (13), 1955)
Beth, E.W. Semantics as a theory of reference (La Philosophie au milieu du vingtième siècle, ed. R. Klibansky, Firenze, 1958)
Beth, E.W. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev (Proceedings of the Akademie van Wetenschappen, Series A, 56 (1), 1953)
Beth, E.W. Sur la description de certains modèles d’un système formel (Actes du Xième Congrès International de Philosophie, 1953)
Beth, E.W. A topological proof of the theorem of Löwenheim-Skolem-Gödel (Proceedings of the Akademie Van Wetenschappen, Series A, 54 (5), 1951)
Bhattacharyya, S. Symmetry, transitivity and reflexivity (Analysis, n.d.)
Bird, O. The formalizing of the topics in mediæval logic (Nôtre Dame journal of formal logic, 1 (4), 1960)
Bird, O. Peirce’s theory of methodology (Philosophy of science, 26 (3), July 1959)
Bird, O. Topic and consequence in Ockham’s logic (Nôtre Dame journal of formal logic 2 (2), 1961)
Bird, O. The tradition of the logical topics : Aristotle to Ockham (Journal of the history of ideas, 23 (3), July-September 1962)
Bochenski, I.M. Non-analtyical laws and rules in Aristotle (Methodos, 1951)
Borgers, A La logique des descriptions et des définitions (Mathematiques du Xxème siècle, 3, 1962)
Borgers, A. Les lois et les règles de la logique symbolique élémentaire des propositions et des prédicates (Mathématiques du XXème siècle, 2, 1961)
Borgers, A. La méthode axiomatique et la logique symbolique (Mathématiques du XXème siècle, 1, 1960)
Borgers, A. Quelques propositions arithmétiques équivalentes au principe de l’induction complète (Mathématiques du XXème siècle, 2, 1961)
Borgers, A. La théorie des ensembles (Mathématiques du XXème siècle, 1, 1960)
Borkowski, L. Dydaktyczne ujecie zerojedynkowej metody sprawdzania wyrazen wezszego jednoargumentowego rachunku predykatów (Studia logica, 11, 1961)
Borkowski, L./Slupecki, J. A logical system based on rules and its application in teaching mathematical logic (Studia logica, 7, 1958)
Borkowski, L. The logical works of J. Lukasiewicz (Studia logica, 8, 1958)
Borkowski, L. O matrycowych regulach rachunku zdan (Matematyka fizyka astronomia, 2, 1959)
Borkowski, L. On proper quantifiers I (Studia logica, 8, 1958)
Borkowski, L. On proper quantifiers II (Studia logica, 10, 1960)
Borkowski, L. Pierwsza nowoczesna monografia o sylogistyce arystotelesa (Studia logica, 5, 1957)
Borkowski, L. Reduction of arithmetic logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants (Studia logica, 8, 1958)
Borkowski, L. Systems of the propositional and of the functional calculus based on one primitive term (Studia logica, 6, 1957)
Borkowski, L. O terminach modalnych (Studia logica, 7, 1958)
Brain, L. Some reflections on brain and mind (Brain, 86 (3), 1963)
Braithwaite, R.B. Axiomatizing a scientific system by axioms in the form of identifications
Braithwaite, R.B. Characterisations of finite Boolean lattices and related algebras (Journal of the London Mathematical Society, 17, 1942)
Brandt, R.B. The status of empirical assertion theories in ethics (Mind, 61 (244), October 1952)
Broad, C.D. The present relations of science and religion (Philosophy, 14 (54), April 1939)
Brogan, A.P. Aristotle’s logic of statements about contingency (Mind, 76 (301), January 1967)
Bromberger, S. The notion of analytical truth, by R.M. Martin (Philosophical review, 71 (2), April 1962)
Bull, R.A. An axiomatization of Prior’s modal calculus Q (Nôtre Dame journal of formal logic, 6 (3), July 1964)
Bull, R.A. A class of extensions of the modal system S4 with the finite modal property (Logik und Grundlagen, 11, 1962)
Bull, R.A. The implicational fragment of Dummett’s LC (Journal of symbolic logic, 27 (2), June 1962)
Bull, R.A. MIPC as the formalisation of an intuitionist concept of modality (Journal of symbolic logic, 31 (4), December 1966)
Rull, R.A. A modal extension of intuitionist logic (Nôtre Dame journal of formal logic, 6 (2), April 1965)
Bull, R.A. A note on the modal calculi S4.2 and S4.3 (Logik und Grundlagen, 10, 1964)
Bull, R.A. On possible worlds in propositional calculi (Theoria, 1968)
Bull, R.A. On the extension of S4 with CLMpMLp (Nôtre Dame journal of formal logic, 8 (4), October 1967)
Bull, R.A. On three related extensions of S4 (Nôtre Dame journal of formal logic, 8 (4), October 1967)
Bull, R.A. Some results for implicational calculi (Journal of symbolic logic, 29 (1), March 1964)
Bull, R.A. That all normal extensions of S4.3 have the finite model property (Logik und Grundlagen, 12, 1966)
Bunge, M. Physical time : the objective and relational theory (Philosophy of science, 35 (4), December 1968)
Burns, A.L. From balance to deterrence : a theoretical analysis (World politics, 9 (4), July 1957)
Butler, R.J. Natural belief and the enigma of Hume (Archiv für Geschichte der Philosophie, 42 (1), 1960)
Butler, R.J. The scaffolding of Russell’s theory of descriptions (Philosophical review, 63 (3), July 1954)
   
Updated December 23, 2017