I work in higher-order logic and metaphysics.

This profile currently does not have any publications associated with it.