R. A. Bull

发表

Note on a Paper in Tense Logic

R. A. Bull, 1969, J. Symb. Log..

MIPC as the Formalisation of an Intuitionist Concept of Modality

R. A. Bull, 1966, J. Symb. Log..

On the extension of S4 with CLMpMLp

R. A. Bull, 1967, Notre Dame J. Formal Log..

G. E. Hughes and M. J. Cresswell. An introduction to modal logic . Methuen and Co. Ltd., London1968, xii + 388 pp.

R. A. Bull, R. A. Bull, 1971 .

On three related extensions of S4

R. A. Bull, R. A. Bull, 1967, Notre Dame J. Formal Log..

Survey of generalizations of Urquhart semantics

R. A. Bull, 1987, Notre Dame J. Formal Log..

Some results for implicational calculi

R. A. Bull, R. A. Bull, 1964, Journal of Symbolic Logic.

Correction to "Survey of generalizations of Urquhart semantics"

R. A. Bull, 1989, Notre Dame J. Formal Log..

An axiomatization of Prior's modal calculus Q

R. A. Bull, 1964, Notre Dame J. Formal Log..

Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces

R. A. Bull, 1969 .

The implicational fragment of Dummett's LC

R. A. Bull, R. A. Bull, 1962, Journal of Symbolic Logic.

Reversible Projector Equipment for Review-Rooms

R. A. Bull, 1961 .

R. A. Bull, 1991, Stud Logica.

A modal extension of intuitionist logic

R. A. Bull, 1965, Notre Dame J. Formal Log..

An algebraic study of Diodorean modal systems

R. A. Bull, R. A. Bull, John Locke, 1965, Journal of Symbolic Logic.

An Algebraic Study of Tense Logics with Linear Time

R. A. Bull, 1968, J. Symb. Log..

Discussion of previous paper [An investigation of the sources of blowby in single‐cylinder supercharged diesel engines]

R. A. Bull, M A Voisey, 1978 .

On Modal Logic with Propositional Quantifiers

R. A. Bull, 1969, J. Symb. Log..