Exploring Logical Dynamics / Nejlevnější knihy
Exploring Logical Dynamics

Kód: 04820886

Exploring Logical Dynamics

Autor Johan van Benthem

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective ... celý popis

833


Skladem u dodavatele
Odesíláme za 14-18 dnů
Přidat mezi přání

Mohlo by se vám také líbit

Dárkový poukaz: Radost zaručena

Objednat dárkový poukazVíce informací

Více informací o knize Exploring Logical Dynamics

Nákupem získáte 83 bodů

Anotace knihy

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy.

Parametry knihy

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

833

Oblíbené z jiného soudku



Osobní odběr Praha, Brno a 12903 dalších

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: