Metaphysical Systems and Decision Procedures