Possibility pre-supposition free logics. - Roderic A. Girle (Notre Dame J. Formal Log., 1974)

S1 ≠ S0.9. - Roderic A. Girle (Notre Dame J. Formal Log., 1975)

Logics for knowledge, possibility, and existence. - Roderic A. Girle (Notre Dame J. Formal Log., 1978)

Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. - Roderic A. Girle; Michael A. McRobbie (Australian Joint Conference on Artificial Intelligence, 1988)

Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. - Roderic A. Girle; I. C. Hinckfuss (J. Symb. Log., 1988)

Possible Worlds Tableaux without Explicit Accessibility. - Roderic A. Girle (TABLEAUX, 1992)

Commands in Dialogue Logic. - Roderic A. Girle (FAPR, 1996)

Tableaux for Expansion and Contraction. - Roderic A. Girle (PRICAI, 1996)

Shades of consciousness. - Roderic A. Girle (Minds Mach., 1996)

Delusions of Omniscience. - Roderic A. Girle (FLAIRS, 1998)

Logical Fiction: Real vs. Ideal. - Roderic A. Girle (PRICAI, 1998)

Decision Support for Practical Reasoning. - Roderic A. Girle; David Hitchcock; Peter McBurney; Bart Verheij (Argumentation Machines, 2004)

Melvin Fitting, Types Tableaus and Gödel's God. - Roderic A. Girle (Stud Logica, 2005)

The Neighbourhood of S0.9 and S1. - Roderic A. Girle (TABLEAUX, 2007)

Command Dialogues. - Katie Atkinson; Roderic A. Girle; Peter McBurney; Simon Parsons (ArgMAS, 2008)

The Question of the Question in Critical Thinking? - Roderic A. Girle (TICTTL, 2011)

Methodological Issues for the Logic of Questions and Commands. - Roderic A. Girle; Jonathan McKeown-Green (Int. J. Cogn. Informatics Nat. Intell., 2012)

Foundations for Knowledge and Belief Management. - Roderic A. Girle (Int. J. Knowl. Manag., 2021)