Opening book details…
Can I read A New Perspective on Nonmonotonic Logics on EtoBox?
A New Perspective on Nonmonotonic Logics by Dov M. Gabbay, Karl Schlechta (auth.) is a nonfiction available to read on EtoBox.
What is A New Perspective on Nonmonotonic Logics about?
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations. It is suitable for researchers in the area of computer science and mathematical logic.
Who reads A New Perspective on Nonmonotonic Logics?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dov M. Gabbay, Karl Schlechta (auth.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2016
- Language
- EN
- ISBN
- 9783319468174
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Philosophy
More by Dov M. Gabbay, Karl Schlechta (auth.)
Browse all works by Dov M. Gabbay, Karl Schlechta (auth.)
Similar books
- Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size — Karl Schlechta; Nugent (2018)
- Nonmonotonic Logic: Logics for Defeasible Reasoning — Straßer, Christian (2025)
- Conditionals and Modularity in General Logics (Cognitive Technologies) — Dov M. Gabbay, Karl Schlechta (2011)
- Logics and Falsifications : A New Perspective on Constructivist Semantics — Andreas Kapsner (2015)
- Nonmonotonic Logics: Basic Concepts, Results, and Techniques (Lecture Notes in Computer Science, 1187) — Karl Schlechta (1997)
- Semantic Matchmaking with Nonmonotonic Description Logics — Stephan Grimm (2009)