Classical and Intuitionistic Models of Arithmetic. - Kai Frederick Wehmeier (Notre Dame J. Formal Log., 1996)

Fragments of HAHA based on S1 Sigma_1-induction. - Kai Frederick Wehmeier (Arch. Math. Log., 1997)

Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects. - Kai Frederick Wehmeier (Synth., 1999)

On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. - Fernando Ferreira 001; Kai Frederick Wehmeier (J. Philos. Log., 2002)

In the Mood. - Kai Frederick Wehmeier (J. Philos. Log., 2004)

Wittgensteinian Predicate Logic. - Kai Frederick Wehmeier (Notre Dame J. Formal Log., 2004)

Frege's permutation argument revisited. - Kai Frederick Wehmeier; Peter Schroeder-Heister (Synth., 2005)

Tractarian First-order Logic: Identity and the n-operator. - Brian Rogers; Kai Frederick Wehmeier (Rev. Symb. Log., 2012)

Actuality in Propositional Modal Logic. - Allen P. Hazen; Benjamin G. Rin; Kai Frederick Wehmeier (Stud Logica, 2013)

On Quantification and Extensionality. - Kai Frederick Wehmeier (Rev. Symb. Log., 2024)