J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science, no. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 354 pp
Verbrugge, Rineke · 1999
PhilArchive · Papers · License: Open Access · 1999