Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL by Daniel Kirchner Sep 17