Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Topics in Subset Space Logic

 

Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

 
Rs. 3,651

Availability: In stock

 
  • Product Description
 

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.

Product Specifications
SKU :COC39385
AuthorCan Baskent
LanguageEnglish
BindingPaperback
Number of Pages96
Publishing Year1/29/2010
ISBN978-3639233315
Edition213 st
Book TypeGeometry
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-01-08 00:00:00