A broad introduction to the subject; many exercises with full solutions are provided.
"synopsis" may belong to another edition of this title.
'Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject.' Phinews
' ... a very detailed coverage ... that is well written, well reasoned, and a useful reference to have on the shelf.' R. J. Bradford, Axis
This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.
"About this title" may belong to another edition of this title.
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9780521602808
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 2391723-n
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 2391723
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. A broad introduction to the subject; many exercises with full solutions are provided. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 372 pages, 140 exercises. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 190 x 20. Weight in Grams: 684. . 2008. Revised ed. paperback. . . . . Seller Inventory # V9780521602808
Quantity: Over 20 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 2391723-n
Quantity: Over 20 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition. Seller Inventory # 2391723
Quantity: Over 20 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521602808
Quantity: Over 20 available
Seller: Books Puddle, Woodside, NY, U.S.A.
Condition: New. pp. 372. Seller Inventory # 26541043
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. A broad introduction to the subject; many exercises with full solutions are provided. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 372 pages, 140 exercises. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 190 x 20. Weight in Grams: 684. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780521602808
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 372 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 8388268
Quantity: 4 available