Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Dynamic Epistemic Logic

Dynamic Epistemic Logic

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781402058387
Condition
New
Product Description

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction to the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the Russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Institutionelle Reformen fr eine Politik der Nachhaltigkeit

$69.99

Die Elektrizitt, ihre Erzeugung und ihre Anwendung in Industrie und Gewerbe

$54.99

Acid Rain

$39.99

Health and Gender

$79.99

Uroonkologie

$299.99

Evolution Equations of von Karman Type

$39.99

Rare Earths

$39.99

Ernhrungsmedizin Pdiatrie

$89.99

Philosophical Papers

$119.99

Sustainable Agriculture Reviews

$169.99

BGB Familienrecht, BGB Erbrecht

$59.99

The Physics of Living Systems

$64.99

Marktorientiertes Personalmanagement durch Employer Branding

$64.99

Physics of Ion-Ion and Electron-Ion Collisions

$39.99

Prfverfahren zur Untersuchung der Partikelreinheit technischer Oberflchen

$79.99

Introduction to Avionics Systems

$129.99

Ecological Migration and Targeted Poverty Alleviation in Ningxia

$139.99

Wirtschaftsstatistik

$69.95

Understanding Logic Locking

$109.99

When Gordon Took the Helm

$109.99

Money Laundering, Terrorist Financing, and Tax Evasion

$129.99

Children's Life-Histories in Primary Schools

$139.99

Infinity Properads and Infinity Wheeled Properads

$54.99

Advances and Technical Standards in Neurosurgery

$109.99

The Application of Content Analysis in Nursing Science Research

$49.99

Algebraische Topologie

$44.99

Britain and Terrorism

$89.00

Was ist Alter(n)?

$39.99

Light Metals 2018

$309.00

Machine Learning for Cyber Security

$39.99

Jobs, Earnings, and Employment Growth Policies in the United States

$39.99

Conditional Function Control of Aircraft

$159.99

Advanced Functional Materials from Nanopolysaccharides

$169.99

Efficient eReporting with SAP EC

$54.99

Understanding and Evaluating Search Experience

$59.99

Proktologie

$49.99

Sozialstruktur und Milieuerfahrungen

$69.99

Chemical Lake Restoration

$99.00

Applied and Industrial Mathematics

$54.99

Sicherer Umgang mit diisocyanathaltigen Arbeitsstoffen

$44.99