BOOKS by Barteld Kooi

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1

sort by

Dynamic Epistemic Logic more books like this

by Hans Van Ditmarsch, Wiebe Van Der Hoek, Barteld Kooi

add to wishlist

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles ...

see all copies from $76.60!

new only from $108.68! | first editions | SVS

Dynamic Epistemic Logic more books like this

by Wiebe Van Der Hoek, Barteld Kooi, Hans Van Ditmarsch

add to wishlist

"Dynamic Epistemic Logic" is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles ...

see all copies from $46.24!

new only from $46.24! | SVS

Page 1 of 1

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.