FactLogic
by Convex
Evaluates any assertion logically by combining judgments of facts and other assertions according to probability theory.
Evaluates any assertion logically by combining judgments of facts and other assertions according to probability theory.