Home Revaluation Books Mathematical Problems from Applied Logic I: Logics for the XXIst Century by Gabbay, Dov M. (Editor) / Goncharov, Sergei S. (Editor) / Zakharyaschev, Michael (Editor) (ISBN: 9781441921109)

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

Stock photo: cover may vary

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

Name: Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Price: 382.39 AUD
Availability: InStock
Author: Gabbay, Dov M. (Editor) / Goncharov, Sergei S. (Editor) / Zakharyaschev, Michael (Editor)
ISBN: 9781441921109

by Gabbay, Dov M. (Editor) / Goncharov, Sergei S. (Editor) / Zakharyaschev, Michael (Editor)

Add to wish list

New
Paperback

New

Description

Springer New York, 2005. Paperback. New. 348 pages. 9.00x6.00x0.85 inches.

Ask the seller a question Add to wish list

A$382.39

A$28.96 Delivery to USA
Standard delivery: 7 to 14 days

More delivery options

Ships from Revaluation Books (Devon, United Kingdom)

The BIBLIO Guarantee

Details

Title Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Author Gabbay, Dov M. (Editor) / Goncharov, Sergei S. (Editor) / Zakharyaschev, Michael (Editor)
Binding Paperback
Edition Softcover reprin
Condition New
Pages 348
Volumes 1
Language ENG
Publisher Springer New York
Publication date 2005
Bookseller's Inventory # x-1441921109
ISBN 9781441921109 / 1441921109
Weight 1.16 lbs (0.53 kg)
Dimensions 9.21 x 6.14 x 0.78 in (23.39 x 15.60 x 1.98 cm)
Category Mathematics
Dewey Decimal Code 511.3
Quantity available 2

About Revaluation Books Devon, United Kingdom

Biblio member since 2020

General bookseller of both fiction and non-fiction.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Revaluation Books

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

Write a review for this book

Important Terms and Guidelines

Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
Reviews must be at least 140 characters in length.
Please do not reveal critical plot elements.
This is not a help line. Contact customer support if you need help.

Your review must not include:

Obscenities, discriminatory language, or other insulting language not suitable for public domain
Advertisements, “spam” content, or references to other products, offers or websites.
Email addresses, URLs, phone numbers, physical addresses or other contact information.
Overly critical comments about other reviews or reviewers
Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
Availability, price, or alternative ordering/shipping information

From the publisher

Nonstandard Inferences in Description Logics: The Story So Far, Franz Baader and Ralf Ksters: 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.

From the rear cover

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 Ksters (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).

BIBLIO is the largest independent book marketplace in the world, with over 100 million books.