counterdog
Is this formula valid in Counterfactual Datalog?
loading...
'►' shortcut: Alt+B
about Counterdog - Theorem-prover for Counterfactual Datalog
Counterdog is an automated theorem-prover for a counterfactual meta-logic about propositional Datalog programs. It is useful, for example, for reasoning about Datalog-based trust management and authorization languages.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct