Non-assertoric inference. - Robert P. McArthur; David Welker (Notre Dame J. Formal Log., 1974)

S5 with the CBF. - Robert P. McArthur (Notre Dame J. Formal Log., 1975)

A Completeness Result for Quantificational Tense Logic. - Robert P. McArthur; Hugues Leblanc (Math. Log. Q., 1976)

Three-valued free tense logic. - Robert P. McArthur (Notre Dame J. Formal Log., 1977)

Anderson's deontic logic and relevant implication. - Robert P. McArthur (Notre Dame J. Formal Log., 1981)