Book

Epistemic logic for AI and computer science

by John-Jules Ch Meyer