On Quantified Modal Theorem Proving for Modeling Ethics

Open in new window