Handbook of Logic in Artificial Intelligence and Logic Programming: Epistemic and Temporal Logics v.4: Epistemic and Temporal Logics Vol 4

by: Dov M. Gabbay · etc. Hardcover details (UK). details (United States). ISBN: 978-0-19-853791-5 ISBN-10: 0-19-853791-3 Clarendon Press · 1995