|
" Mathematical problems from applied logic I : "
edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
874701
|
| Title & Author
|
:
|
Mathematical problems from applied logic I : : logics for the XXIst century /\ edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
|
| Publication Statement
|
:
|
New York :: Springer,, ©2006.
|
| Series Statement
|
:
|
International mathematical series ;; 4
|
| Page. NO
|
:
|
1 online resource (xxviii, 348 pages) :: illustrations
|
| ISBN
|
:
|
0387286888
|
|
|
:
|
: 038731072X
|
|
|
:
|
: 1280623934
|
|
|
:
|
: 9780387286884
|
|
|
:
|
: 9780387310725
|
|
|
:
|
: 9781280623936
|
|
|
:
|
0387286888
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
Nonstandard Inferences in Description Logics: The Story So Far, Franz Baader and Ralf Küsters -- Problems in the Logic of Provability, Lev Beklemishev and Albert Visser -- Open Problems in Logical Dynamics, Johan van Benthem -- Computability and Emergence, S Barry Cooper -- Samsara, John N Crossley -- Two Doors to Open, Wilfrid Hodges -- Applied Logic: A Manifesto, Lawrence S Moss. Subject Index.
|
| Abstract
|
:
|
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. This should be of interest to logicians and mathematicians in general. Contributors include: Franz Baader (Germany) and Ralf Küsters (Germany), Lev Beklemishev (The Netherlands/Russia) and Albert Visser (The Netherlands), Johan van Benthem (The Netherlands/USA), S Barry Cooper (UK), John N Crossley (Australia), Wilfrid A Hodges (UK), and Lawrence S Moss (USA).
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
MATHEMATICS-- Infinity.
|
| Subject
|
:
|
MATHEMATICS-- Logic.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA9.A1M38 2006eb
|
| NLM classification
|
:
|
O141clc
|
| Added Entry
|
:
|
Gabbay, Dov M.,1945-
|
|
|
:
|
Goncharov, S. S.
|
|
|
:
|
Zakharyaschev, Michael.
|
| Parallel Title
|
:
|
Logics for the XXIst century
|
| |