From onions to broccoli: generalizing Lewis' counterfactual logic. - Patrick Girard 004 (J. Appl. Non Class. Logics, 2007)

An Analytic Logic of Aggregation. - Patrick Girard 004; Jeremy Seligman (ICLA, 2009)

Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. - Johan van Benthem; Patrick Girard 004; Olivier Roy (J. Philos. Log., 2009)

Logic in the Community. - Jeremy Seligman; Fenrong Liu; Patrick Girard 004 (ICLA, 2011)

General Dynamic Dynamic Logic. - Patrick Girard 004; Jeremy Seligman; Fenrong Liu (Advances in Modal Logic, 2012)

Facebook and the epistemic logic of friendship. - Jeremy Seligman; Fenrong Liu; Patrick Girard 004 (TARK, 2013)

Belief Revision and Dynamic Logic. - Patrick Girard 004; Hans Rott (Johan van Benthem on Logic and Information Dynamics, 2014)

Antirealism and the Conditional Fallacy: The Semantic Approach. - Patrick Girard 004; Luca Moretti (J. Philos. Log., 2014)

Logical dynamics of belief change in the community. - Fenrong Liu; Jeremy Seligman; Patrick Girard 004 (Synth., 2014)

Ceteris paribus logic in counterfactual reasoning. - Patrick Girard 004; Marcus Anthony Triplett (TARK, 2015)

Paraconsistent dynamics. - Patrick Girard 004; Koji Tanaka (Synth., 2016)

Prioritised ceteris paribus logic for counterfactual reasoning. - Patrick Girard 004; Marcus Anthony Triplett (Synth., 2018)

Modal Logic without Contraction in a Metatheory without Contraction. - Patrick Girard 004; Zach Weber (Rev. Symb. Log., 2019)

Paraconsistent Metatheory: New Proofs with Old Tools. - Guillermo Badia; Zach Weber; Patrick Girard 004 (J. Philos. Log., 2022)