Hello visitor from USA USA - 31 visiting from China 15 China USA 7 USA France 6 France Singapore 1 Singapore Germany 1 Germany Ireland 1 Ireland
Free Join Now

Books, Free Shipping, Topics On Dynamic Epistemic Logic

Posted at: Offers to Sell and Export | Posted on: Thu 08 Jul, 2010 8:53 am | Product Category: Reference books [3760]
books shipping topics dynamic epistemic logic
Products Photos CatalogBooks Shipping Topics Photos Catalog

Product Description:

Dynamic Epistemic Logic is the logic of knowledge, actions and the interrelation

of them.This is not about one logic, but about a whole family of logics that allows us to specify staticand dynamic aspects of rational agent systems. The book provides various logics to supportsuch formal specifications.


Chapter 1 Foundations

1 Epistemic Logic

2 Dynamic Logic PDL

3 Dynamic Logic PDL~0 and One Generalization of It

4 Dynamic Epistemic Logic

Chapter 2 Do an Action

1 Logics for Having Done an Action ( 1 )

2 Logics for Having Done an Action ( 2 )

3 Logics for Intending to Do an Action

4 Logics for Being Doing an Action

Appendix 1 A Logic for Transferring a State by Resultant Force

Appendix 2 A Logic for Achieving an Intention by Doing an Action..

Chapter 3 Know an Action


Author Li Xiaowu

Press Sun Yat-sen University Press

Isbn 9787306036032, 7306036033

Publication Date March 2010

Pages 367

Size 16K

Edition First

Cover Paperback

Language English

Page material gelatine plate paper

Company Contact:

BookWholesale photo
Contact Name: Jing
Company Name: Hangzhou Wholesale Tech Trading Co., Ltd
Email: Email
Tel: 0086-571-86980049
Fax: 0086-571-86980049
Street Address: A-2211, Xinqingnian
Square, Gongshu District, Hangzhou,
310015, China
Website: http://www.book-wholesale.com
Member name: BookWholesale
Country: China-CN China
Member Since: 13 May 2010
Total Leads: 4528 BookWholesale Import Export Business Leads
Business focus: Books, Nonfiction, Fiction, Chinese for Foreigners, Comics, Literature, Textbooks, Language, Cooking, Chinese Classics, Children, Business, Computer
Verify: Safe Import Export Tips
Product Category: Reference books [3760]

Similar LeadsSimilar Suppliers And Manufacturers Import Export Trade Leads

Start Import Export Stories Import Export Startup Stories

Share Your Story & Get Listed at StartImportExport.com

  • SpecsPro LLC: Cathy Huang Of SpecsPro LLC Integrated Sourcing Supply Chain Solutions From USA

Product Classification Navigation Reference books Classification Navigation

Main - Published Products - Printed media - Printed publications - Reference books [3760]
TradersCity Free Import Export Trade Leads B2B Board  Offers to Sell and Export
TradersCity.com shall not be held liable for any user posted/submitted content including but not limited to trade leads, profiles, images, and any other data. TradersCity.com does not and did not verify any of users posted/submitted data nor is implicitly or explicitly recommending these business offers. TradersCity does not verify truthfulness, accuracy, completeness, nor legality of any businesses, services, and leads posted here. TradersCity does not represent Sellers or Buyers in any transaction between users of the website and is unable to make any opinion in regard to their performance in any transaction. TradersCity neither guarantees nor undertakes in any dispute between sellers and buyers. Protect your business from fraud by trading safely