Login / Signup

Temporal logic of common knowledge and its resolution-based proof method.

Hadi FarahaniSaman Moshiri
Published in: J. Intell. Fuzzy Syst. (2018)
Keyphrases
  • temporal logic
  • verification method
  • temporal resolution
  • dynamic programming
  • test cases
  • situation calculus