A Resolution Prover for Coalition Logic

Article, Preprint English OPEN
Cláudia Nalon; Lan Zhang; Clare Dixon; Ullrich Hustadt;
  • Publisher: Open Publishing Association
  • Journal: Electronic Proceedings in Theoretical Computer Science (issn: 2075-2180)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.4204/EPTCS.146.9
  • Subject: Computer Science - Artificial Intelligence | Mathematics | Electronic computers. Computer science | Computer Science - Logic in Computer Science | F.4.1 | QA1-939 | QA75.5-76.95 | I.2.3
    acm: TheoryofComputation_GENERAL | TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | MathematicsofComputing_GENERAL

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operate... View more
Share - Bookmark