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.
  • Version:

    1.0

    File Name:

    Counterdog.msi

    Date Published:

    5/11/2016

    File Size:

    4.3 MB

      Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. The prover is complete for the logic and can prove or disprove counterfactual statements such as “if ‘p’ is false in a Datalog program but would be true if it contained ‘a:-b,’ then ‘b’ is true in the program.” Counterdog is useful for reasoning about Datalog-based trust-management languages.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit