Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Engels
120 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Paperback
19.68
€
/
Paperback
61.00
€
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.
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Paperback
15.06
€
/
Paperback
33.65
€
/
Gebonden
32.24
€
/
Paperback
16.77
€
/
Paperback
14.46
€
/
Paperback
34.75
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?