Login / Signup

A minimal coalition logic.

Yinfeng LiFengkui Ju
Published in: CoRR (2024)
Keyphrases
  • coalition logic
  • logical framework
  • model checking
  • heuristic search
  • logic programming
  • temporal reasoning