Generalisation of First-Order Logic to Nonatomic Domains. - Peter Roeper (J. Symb. Log., 1985)

Principles of abstraction for events and processes. - Peter Roeper (J. Philos. Log., 1987)

On Relativizing Kolmogorov's Absolute Probability Functions. - Hugues Leblanc; Peter Roeper (Notre Dame J. Formal Log., 1989)

Henkin's Completeness Proof: Forty Years Later. - Hugues Leblanc; Peter Roeper; Michael Thau; George Weaver (Notre Dame J. Formal Log., 1991)

Indiscernability and Identiy in Probability Theory. - Peter Roeper; Hugues Leblanc (Notre Dame J. Formal Log., 1991)

Consequence and Confirmation. - Peter Roeper; Hugues Leblanc (Notre Dame J. Formal Log., 1995)

Region-Based Topology. - Peter Roeper (J. Philos. Log., 1997)

Absolute Probability Functions for Intuitionistic Propositional Logic. - Peter Roeper; Hugues Leblanc (J. Philos. Log., 1999)

First- and Second-Order Logic of Mass Terms. - Peter Roeper (J. Philos. Log., 2004)

A Sequent Formulation of Conditional Logic Based on Belief Change Operations. - Peter Roeper (Stud Logica, 2004)

The Aristotelian Continuum. A Formal Characterization. - Peter Roeper (Notre Dame J. Formal Log., 2006)

Reasoning with Truth. - Peter Roeper (J. Philos. Log., 2010)