000 03148nam a22005175i 4500
001 978-0-387-31072-5
003 DE-He213
005 20250710083947.0
007 cr nn 008mamaa
008 100301s2006 xxu| s |||| 0|eng d
020 _a9780387310725
_a99780387310725
024 7 _a10.1007/0-387-31072-X
_2doi
082 0 4 _a511.3
_223
100 1 _aGabbay, Dov M.
_eeditor.
245 1 0 _aMathematical Problems from Applied Logic I
_h[recurso electrónico] :
_bLogics for the XXIst Century /
_cedited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
264 1 _aNew York, NY :
_bSpringer New York,
_c2006.
300 _aXXVIII, 348 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInternational Mathematical Series,
_x1571-5485 ;
_v4
505 0 _aNonstandard Inferences in Description Logics: The Story So Far -- Problems in the Logic of Provability -- Open Problems in Logical Dynamics -- Computability and Emergence -- Samsara -- Two Doors to Open -- Applied Logic: A Manifesto.
520 _aMathematical 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).
650 0 _aMATHEMATICS.
650 0 _aLOGIC.
650 0 _aLOGIC DESIGN.
650 0 _aCOMPUTER SCIENCE.
650 0 _aLOGIC, SYMBOLIC AND MATHEMATICAL.
650 1 4 _aMATHEMATICS.
650 2 4 _aMATHEMATICAL LOGIC AND FOUNDATIONS.
650 2 4 _aLOGIC.
650 2 4 _aLOGICS AND MEANINGS OF PROGRAMS.
650 2 4 _aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
650 2 4 _aMATHEMATICS OF COMPUTING.
700 1 _aGoncharov, Sergei S.
_eeditor.
700 1 _aZakharyaschev, Michael.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387286884
830 0 _aInternational Mathematical Series,
_x1571-5485 ;
_v4
856 4 0 _uhttp://dx.doi.org/10.1007/0-387-31072-X
_zVer el texto completo en las instalaciones del CICY
912 _aZDB-2-SMA
942 _2ddc
_cER
999 _c57103
_d57103