Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Front Cover
Dov M. Gabbay, Sergey Goncharov, Michael Zakharyaschev
Springer Science & Business Media, Jul 2, 2006 - Mathematics - 348 pages
0 Reviews

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Franz Baader and Ralf Küsters
1
Lev Beklemishev and Albert Visser
77
Johan van Benthem
137
Dynamic Epistemic Logic
157
Background in Standard Logics
164
From Information Update to Belief Revision
170
Temporal Epistemic logic
178
Game Logics and Game Theory
184
S Barry Cooper
193
John N Crossley
233
What are Logical Systems and What Should They Be?
258
Wilfrid Hodges
277
Lawrence S Moss
317
Index 345
344
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information