Epistemic logic for artificial intelligence and computer science - Meyer J J; Hoek W van der (Cambridge C U P, 1995)
Keywords: Artificial intelligence; Epistemic logic