Epistemic Logic for AI and Computer Science. Meyer, J. & van der Hoek, W. Cambridge University Press, 1995.
bibtex   
@book{Meyer1995,
author = {Meyer, J.-J.Ch and van der Hoek, W.},
publisher = {Cambridge University Press},
title = {{Epistemic Logic for AI and Computer Science}},
year = {1995}
}

Downloads: 0