{ "item_title" : "Mathematical Problems from Applied Logic I", "item_author" : [" Dov M. Gabbay", "Sergei S. Goncharov", "Michael Zakharyaschev "], "item_description" : "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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/1/44/192/110/1441921109_b.jpg", "price_data" : { "retail_price" : "169.99", "online_price" : "169.99", "our_price" : "169.99", "club_price" : "169.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details