ComputationalPhilosophy

ComputationalPhilosophy

Formalizations of Philosophical Arguments using Automated Reasoning Tools