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

Unterrichten und Prsentieren in Gesundheitsfachberufen

$37.99

Molecular Approaches to Crop Improvement

$84.99

Kompetenzlisten und Lernhinweise zur Diagnose und Frderung

$64.99

Sugar Beet Cultivation, Management and Processing

$169.00

Dickens and Education

$99.00

Affective and Emotional Economies in Medieval and Early Modern Europe

$69.99

Particle Modeling

$109.99

Klinische Sudeckprophylaxe und Therapie

$29.99

Communications, Signal Processing, and Systems

$449.99

The History of Combinatorial Group Theory

$79.99

Atlas Klinische Neuroradiologie Wirbelsule und Spinalkanal

$229.99

Robotics for Sustainable Future

$249.99

Recent Advances in Computer Science and Information Engineering

$219.99

Learning in Man-Computer Interaction

$109.99

Handbuch Investor Relations

$209.00

Die Volksthmliche Regierung

$59.99

Language, Vernacular Discourse and Nationalisms

$79.99

Understanding the Epoch of Cosmic Reionization

$109.99

Clinical Handbook of Insomnia

$169.99

A Reinterpretation of Rousseau

$54.99

Anti-Americanism in European Literature

$54.99

Cortical Memory Functions

$54.99

Multiagent Systems and Applications

$109.99

The Dynamics of the Computer Industry: Modeling the Supply of Workstations and their Components

$109.99

Nature's Children: Octopuses

$5.21

Brain Energy Metabolism

$139.99

Communication in Critical Embedded Systems

$39.99

Data Envelopment Analysis

$79.99

Methodology of History

$219.99

Stochastic Control and Filtering over Constrained Communication Networks

$99.00

Advances in Communication and Computing

$109.99

Embedded Java Security

$54.99

Independent Chinese Documentary

$54.99

Technologieinduzierte Innovationen

$84.99

ber den Anziehungsbereich eines Fixpunktes bei biholomorphen Abbildungen des n

$54.99

Measure Theory, Oberwolfach 1981

$44.99

Get Real

$0.00

Design of Digital Computers

$74.99

Behavioral Epidemiology and Disease Prevention

$109.99

Supervisor Localization

$54.99