Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOLby Daniel Kirchner17 Sep