Ariel Bradley, Spy for General Washington by Lynda Durrant

Ariel Bradley, Spy for General Washington by Lynda Durrant

In this work, we will first provide a comprehensive outlook of subset space logic in detail to set the basis for our discussions. Then, we will import some simple truth preserving operations and observe that these operations are valid in subset space logic as well. Equipped with all these tools, we will observe that the subset space logic is strong enough to axiomatize the dynamic aspects of knowledge change, in particular, the public announcement logic. We will then provide the full axiomatization of subset space public announcement logic and its then straightforward completeness proof. As long as the research area of geometry of knowledge is considered, we believe, it is significant to see that public announcement logic works well in the subset space language. All these discussions will lead us to take a closer look at the notion of shrinking - which can be considered as the temporal and perhaps the dynamic operator of the subset space logic. We will observe that, in fact, the shrinking operator is not a remote concept in formal sciences.

Durrant, Lynda: -

Lynda Durrant is the author of five well-received historical novels for Clarion, several of which have been named to state children's choice awards lists. She lives in Bath, Ohio, with her family and a horse named Irish.

SKU	Unavailable
ISBN 13	9780983290490
ISBN 10	0983290490
Title	Ariel Bradley, Spy for General Washington
Author	Lynda Durrant
Condition	Unavailable
Binding Type	Hardback
Publisher	Vanita Books
Year published	2013-09-01
Number of pages	56
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.