Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
engleză
121 b
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Carte broșată
77.70
lei
/
Carte broșată
105.96
lei
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.
Informații despre carte
engleză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
153.34
lei
/
Copertă tare
1 300.75
lei
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?