Login / Signup
Temporal logic of common knowledge and its resolution-based proof method.
Hadi Farahani
Saman Moshiri
Published in:
J. Intell. Fuzzy Syst. (2018)
Keyphrases
</>
temporal logic
verification method
temporal resolution
dynamic programming
test cases
situation calculus