Login / Signup

Complete axiomatization and decidability of Alternating-time temporal logic.

Valentin GorankoGovert van Drimmelen
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • complete axiomatization
  • alternating time temporal logic
  • model checking
  • description logics
  • imperfect information
  • query answering
  • inclusion dependencies
  • temporal logic
  • computation tree logic
  • search algorithm