Counterdog: Theorem Prover for Counterfactual Datalog Logic

Language:
English
Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. Last published: November 24, 2011.