-42%
128,95 €
Statt 222,99 €**
128,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
Versandkostenfrei*
64 °P sammeln
-42%
128,95 €
Statt 222,99 €**
128,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
64 °P sammeln
Als Download kaufen
Statt 222,99 €**
-42%
128,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
64 °P sammeln
Jetzt verschenken
Statt 222,99 €**
-42%
128,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
64 °P sammeln
  • Format: PDF


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…mehr

Produktbeschreibung
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. TOC: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.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

  • Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Erscheinungstermin: 2. Juli 2006
  • Englisch
  • ISBN-13: 9780387310725
  • Artikelnr.: 37286601
Autorenporträt
Dov M. Gabbay, King's College London, UK / Sergei S. Goncharov, Sobolev Institute of Mathematics, Novosibirsk, Russia / Michael Zakharyaschev, King's College London, UK
Inhaltsangabe
Nonstandard Inferences in Description Logics: The Story So Far, Franz Baader and Ralf Küsters: Introduction.- Description Logics and Standard Inferences.- Nonstandard Inferences-Motivation and Definitions.- A Structural Characterization of Subsumption.- The Least Common Subsumer.- The Most Specific Concept.- Rewriting.- Matching.- Conclusion and Future Perspectives.- Problems in the Logic of Provability, Lev Beklemishev and Albert Visser: Introduction.- Informal Concepts of Proof.- Basics of Provability Logic.- Provability Logic for Intuitionistic Arithmetic.- Provability Logic and Bounded Arithmetic.- Classification of Bimodal Provability Logics.- Magari Algebras.- Interpretability Logic.- Graded Provability Algebras.- List of Problems.- Open Problems in Logical Dynamics, Johan van Benthem: Logical Dynamics.- Standard Epistemic Logic.- Public Announcement: Epistemic Logic Dynamified.- Dynamic Epistemic Logic.- Background in Standard Logics.- From Information Update to Belief Revision.- Temporal Epistemic logic.- Game Logics and Game Theory.- Conclusion.- Computability and Emergence, S Barry Cooper: An Emergent World around Us.- Descriptions, Algorithms, and the Breakdown of Inductive Structure.- Ontology and Mathematical Structure.- Where does It All Start? -Towards a Model Based on Algorithmic Content.- Levels of Reality.- Algorithmic Content Revisited.- What Is to Be Done?- Samsara, [The endless cycle of death and rebirth to which life in the material world is bound. (OED)], John N Crossley: Introduction.- An Example of a Process.- What Logics Do We Need?- What are Logical Systems and What Should They Be?- The Nature of Proof.- Final Remarks.- Two Doors to Open, Wilfrid Hodges: Logic and Cognitive Science.- Medieval Arabic Semantics.- Applied Logic: A Manifesto, Lawrence SMoss: What is Applied Logic?- Mathematics and Logic, but Different from Mathematical Logic.- Applied Philosophical Logic.- What Does Computer Science Have to Do with It?- Other Case Studies.- Being as catholic as Possible.- Subject Index.
Rezensionen
From the reviews:

"It may be one of the best books I ever read ... . The book is best described as a drawerful of ambitious, thought-provoking research questions. Some will inspire you to go search for more literature, and some might even get you started on new research topics. ... this collection is a fascinating bouquet of research questions to pursue or suggest to your students. ... I am convinced that this collection will nurture future research and be a great source of inspiration for young researchers." (Anders Søgaard, Studia Logica, Vol. 87 (361-365), 2007)