Login / Signup

A Resolution Prover for Coalition Logic.

Cláudia NalonLan ZhangClare DixonUllrich Hustadt
Published in: SR (2014)
Keyphrases
  • coalition logic
  • logical framework
  • model checking
  • theorem proving
  • theorem prover
  • modal logic