Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Kooi, Barteld Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 2 of 2 reviews    
  One hundred prisoners and a light bulb
Ditmarsch H., Kooi B., Copernicus, New York, NY, 2015. 188 pp.  Type: Book (978-3-319166-93-3)

As perhaps hinted by the provocative title, this slim text is an entertaining run through 11 classical logic problems that can easily surprise the reader in both presentation and solutions. Multiple sub-puzzles emerge along with entran...
...
Oct 13 2015  
  Logics of communication and change
van Benthem J., van Eijck J., Kooi B. Information and Computation 204(11): 1620-1662, 2006.  Type: Article

This paper provides some technical results through the logic of knowledge, related to group knowledge and knowledge updates, which are followed by a payoff. First, a relatively common knowledge operator, presented by van Bethem, is use...
...
May 8 2007  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy