Mohlo by se vám také líbit

Více informací o knize Topics in Subset Space Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 138 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Topics in Subset Space Logic
• Podnázev: An Introduction to the Geometry of Dynamic Epistemology
• Autor: Can Baskent
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 96
• EAN: 9783639233315
• ISBN: 363923331X
• ID: 06831056
• Nakladatelství: VDM Verlag
• Hmotnost: 150 g
• Rozměry: 229 × 152 × 6 mm
• Datum vydání: 29. January 2010

Oblíbené z jiného soudku

---

---

---