Works by Karl Schlechta
47 found
Order:
1 filter applied
- Distance semantics for belief revision.Daniel Lehmann,Menachem Magidor &Karl Schlechta -2001 -Journal of Symbolic Logic 66 (1):295-317.A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula α as the theory defined by the set of all those models of α that are closest, by d, to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates (...) describe properties of iterated revisions. (shrink)
- Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets.David Makinson &Karl Schlechta -1991 -Artificial Intelligence 48 (2):199-209.
- Nonmonotonic Logics: Basic Concepts, Results, and Techniques.Karl Schlechta -1997 - Lecture Notes in Artificial Intelligence.Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability. This book emphasizes basic concepts by outlining connections between (...) different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo. (shrink)
- Werke in Drei Banden.Friedrich Wilhelm Nietzsche &Karl Schlechta -1971 - Zürich,: Stauffacher. Edited by Walther Linden, Deninger, Wolfgang & [From Old Catalog].
- Roadmap for preferential logics.Dov M. Gabbay &Karl Schlechta -2009 -Journal of Applied Non-Classical Logics 19 (1):43-95.We give a systematic overview of semantical and logical rules in non monotonic and related logics. We show connections and sometimes subtle differences, and also compare such rules to uses of the notion of size.
- Non-prioritized belief revision based on distances between models.Karl Schlechta -1997 -Theoria 63 (1-2):34-53.
- Reactive preferential structures and nonmonotonic consequence.Dov M. Gabbay &Karl Schlechta -2009 -Review of Symbolic Logic 2 (2):414-450.We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. These are networks with arrows recursively leading to other arrows etc. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can the strong coherence properties of preferential structures by higher arrows, that is, arrows, which do not go (...) to points, but to arrows themselves. (shrink)
- Logical Tools for Handling Change in Agent-Based Systems.Dov M. Gabbay &Karl Schlechta -2009 - New York, NY, USA: Springer.Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent (...) systems and nonmonotonic logic. (shrink)No categories
- Size and logic.Dov M. Gabbay &Karl Schlechta -2009 -Review of Symbolic Logic 2 (2):396-413.We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.
- Completeness and incompleteness for plausibility logic.Karl Schlechta -1996 -Journal of Logic, Language and Information 5 (2):177-192.Plausibility Logic was introduced by Daniel Lehmann. We show—among some other results—completeness of a subset of Plausibility Logic for Preferential Models, and incompleteness of full Plausibility Logic for smooth Preferential Models.
- Cumulativity without closure of the domain under finite unions.Dov M. Gabbay &Karl Schlechta -2008 -Review of Symbolic Logic 1 (3):372-392.For nonmonotonic logics, Cumulativity is an important logical rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under finite unions.
- Local and global metrics for the semantics of counterfactual conditionals.Karl Schlechta &David Makinson -1994 -Journal of Applied Non-Classical Logics 4 (2):129-140.No aConsiders the question of how far the different ‘closeness’ relations, indexed by worlds, in a given model for counterfactual conditionals may be derived from a common source. Counterbalancing some well-known negative observations, we show that there is also a strong positive answer.
- Theory revision and probability.Karl Schlechta -1991 -Notre Dame Journal of Formal Logic 32 (2):307-319.
- Friedrich Nietzsche: von verborgenen Anfängen seimes Philosophierens.Karl Schlechta &Anni Anders -1962 - Stuttgart-Bad Cannstatt,: F. Frommann. Edited by Anni[From Old Catalog] Anders.
- Results on infinite extensions.Karl Schlechta -1991 -Journal of Applied Non-Classical Logics 1 (1):65-72.
- Semantic interpolation.Dov M. Gabbay &Karl Schlechta -2010 -Journal of Applied Non-Classical Logics 20 (4):345-371.The problem of interpolation is a classical problem in logic. Given a consequence relation |~ and two formulas φ and ψ with φ |~ ψ we try to find a “simple" formula α such that φ |~ α |~ ψ. “Simple" is defined here as “expressed in the common language of φ and ψ". Non-monotonic logics like preferential logics are often a mixture of a non-monotonic part with classical logic. In such cases, it is natural examine also variants of the (...) interpolation problem, like: is there “simple" α such that φ ⊢ α |~ ψ where ⊢ is classical consequence? We translate the interpolation problem from the syntactic level to the semantic level. For example, the classical interpolation problem is now the question whether there is some “simple" model set X such that M(φ) ⫅ X ⫅ M(ψ). We can show that such X always exist for monotonic and antitonic logics. The case of non-monotonic logics is more complicated, there are several variants to consider, and we mostly have only partial results. (shrink)
- Der Fall Nietzsche: Aufsätze und Vorträge.Karl Schlechta -1959 - C. Hanser.No categories
- Independence — Revision and Defaults.Dov M. Gabbay &Karl Schlechta -2009 -Studia Logica 92 (3):381-394.We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.
- A Comment on Work by Booth and Co-authors.Dov M. Gabbay &Karl Schlechta -2010 -Studia Logica 94 (3):403-432.Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K ) can be represented by two relations, , where is a sub-relation of< . They have, however, left open a characterization of the infinite case, which we treat here.
- A theory of hierarchical consequence and conditionals.Dov M. Gabbay &Karl Schlechta -2010 -Journal of Logic, Language and Information 19 (1):3-32.We introduce -ranked preferential structures and combine them with an accessibility relation. -ranked preferential structures are intermediate between simple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall -ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved.
- Friedrich Nietzsche: Werke in Drei Banden.The Tragic Philosopher: A Study of Friedrich Nietzsche.Walter Kaufmann,Karl Schlechta &F. A. Lea -1958 -Philosophical Review 67 (2):274.
- Friedrich Nietzsche, Paul Rée, Lou von Salomé, die Dokumente ihrer Begegnung: Briefwechsel. Auf der Grundlage der einstigen Zusammenarbeit mit Karl Schlechta und Erhart Thierbach herausgegeben von Ernst Pfeiffer.Friedrich Wilhelm Nietzsche,Paul Rée,Lou Andreas-salomé,Karl Schlechta &Erhart Thierbach -1971 - Insel Verlag.No categories
- Friedrich Nietzsche, Paul Rée, Lou von Salomé.Friedrich Wilhelm Nietzsche,Paul Rée,Lou Andreas-Salomé,Karl Schlechta,Erhart Thierbach &Ernst Pfeiffer (eds.) -1971 - Frankfurt am Main]: Insel Verlag.
- International Nietzsche Bibliography.Herbert William Reichert &Karl Schlechta -1968 - University of North Carolina Press.
- Der junge Nietzsche und das klassische Altertum.Karl Schlechta -1948 - Mainz,: F. Kupferberg.
- Der junge Nietzsche und Schopenhauer.Karl Schlechta -1939 -Schopenhauer Jahrbuch:289-302.No categoriesExport citation
Bookmark - Das Tüpfelchen Auf Dem I; Eine Philosophische Groteske.Karl Schlechta -1972 -Nietzsche Studien 1 (1):419-422.No categories
- Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size.Karl Schlechta -2018 - Cham: Springer Verlag.The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the (...) discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic. (shrink)No categories
- Formal Methods for Nonmonotonic and Related Logics: Vol Ii: Theory Revision, Inheritance, and Various Abstract Properties.Karl Schlechta -2018 - Springer Verlag.The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the (...) discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic. (shrink)No categories
- Friedrich Nietzsche Herausgegeben von Karl Schlechta.Karl Schlechta -1982 - Hanser.No categoriesExport citation Bookmark
- Friedrich Nietzsche. Werke in drei Bänden, 3. Band.Karl Schlechta -1957 -Tijdschrift Voor Filosofie 19 (4):696-697.No categoriesExport citation Bookmark
- Friedrich Nietzsche, Werke in drei Banden.Karl Schlechta -1955 -Tijdschrift Voor Filosofie 17 (4):719-720.No categories
- Goethe in seinem verhältnis zu Aristoteles: ein versuch.Karl Schlechta -1938 - V. Klostermann.No categories
- Histoire et tradition. Les rapports de Nietzsche avec l'Histoire.Karl Schlechta -1958 -Revue de Théologie Et de Philosophie:100.No categoriesExport citation Bookmark
- Hirnforschung und philosophische spekulation im griechischen altertum.Karl Schlechta -1951 -Centaurus 1 (4):334-355.No categories
- Leibniz als Lehrer und Erzieher.Karl Schlechta -1947 - Mainz,: F. Kupferberg.
- Nietzsche Über den Glauben an Die Grammatik.Karl Schlechta -1972 -Nietzsche Studien 1 (1):353-358.
- Nietzsche-Chronik: Daten zu Leben und Werk.Karl Schlechta -1975 - Hanser Verlag.No categories
- Neuerer Humanismus in Deutschland.Karl Schlechta -1948 - Kupferberg.No categories
- New techniques and completeness results for preferential structures.Karl Schlechta -2000 -Journal of Symbolic Logic 65 (2):719-746.Preferential structures are probably the best examined semantics for nonmonotonic and deontic logics; in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. Since (...) our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata. In particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there. (shrink)
- Nietzsche-Index zu den Werken in drei Bänden.Karl Schlechta &Friedrich Wilhelm Nietzsche -1976 - Hanser Verlag.No categories
- Nietzsche-Index zu den Werken in drei Bänden.Karl Schlechta -1968 -Zeitschrift für Philosophische Forschung 22 (3):481-482.No categoriesExport citation Bookmark
- Some Completeness Results for Propositional Conditional Logics.Karl Schlechta -1995 -Logic Journal of the IGPL 3 (1):111-115.We consider three different measures of distance between classical propositional models, and provide sound and complete axiomatisations for the ensuing conditional semantics, by translating conditional formulas into equivalent classical ones.
- Sind Physik und Philosophie am Ende?Karl Schlechta -1970 -Dialectica 24 (1‐3):205-213.
- Some results on theory revision.Karl Schlechta -1991 - In Andre Fuhrmann & Michael Morreau,The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 72--92.
- Worte Ins Ungewisse Rundfunk-Reden Mit Einem Nachwort von Walter Jens.Karl Schlechta -1969 - E. Roether.No categoriesExport citation Bookmark
- Werke.Friedrich Wilhelm Nietzsche &Karl Schlechta -1930 - Leipzig,: A. Kröner. Edited by August Messer.-- 9. Bd. Der handschriftliche Nachlass ab Frühjahr 1885 in differenzierter Transkription nach Marie-Luise Haase und Michael Kohlenbach. pt.<9>. Arbeitshefte W II 6 und W II 7.
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-db555 uwo