Cambridge Tracts in Theoretical Computer Science Ser.: Epistemic Logic for AI and Computer Science by W. van der Hoek and J. -J. Ch. Meyer (2004, Trade Paperback)
BOOKS etc. (565485)
99.6% positive Feedback
Price:
£57.64
Free postage
Estimated by Thu, 2 Oct - Wed, 8 OctEstimated delivery Thu, 2 Oct - Wed, 8 Oct
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
NewNew
ISBN-13: 9780521602808, 978-0521602808. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5.