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	Nicht verfügbar
ISBN 13	9780983290490
ISBN 10	0983290490
Titel	Ariel Bradley, Spy for General Washington
Autor	Lynda Durrant
Buchzustand	Nicht verfügbar
Bindungsart	Hardback
Verlag	Vanita Books
Erscheinungsjahr	2013-09-01
Seitenanzahl	56
Hinweis auf dem Einband	Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.