48 found
Order:
  1.  50
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  2. 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  57
    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 (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  8
    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 $\alpha$ as the theory defined by the set of all those models of $\alpha$ 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  30
    Non-Prioritized Belief Revision Based on Distances Between Models.Karl Schlechta - 1997 - Theoria 63 (1-2):34-53.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  38
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  11
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  27
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  17
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  13
    Theory Revision and Probability.Karl Schlechta - 1991 - Notre Dame Journal of Formal Logic 32 (2):307-319.
  11.  32
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  3
    Results on Infinite Extensions.Karl Schlechta - 1991 - Journal of Applied Non-Classical Logics 1 (1):65-72.
  13.  69
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14.  28
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  94
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  16. 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  6
    Goethe in Seinem Verhaltnis Zu Aristoteles. [REVIEW]C. G. Hardie & Karl Schlechta - 1939 - Journal of Hellenic Studies 59 (2):312-313.
  18.  16
    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.
  19. 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.
  20. Friedrich Nietzsche, Paul Rée, Lou von Salomé Die Dokumente Ihrer Begegnung.Friedrich Wilhelm Nietzsche, Paul Rée, Lou Andreas-salomé, Karl Schlechta & Erhart Thierbach - 1971 - Insel Verlag.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Werke.Friedrich Wilhelm Nietzsche & Karl Schlechta - 1917 - C. Hanser.
    Translate
     
     
    Export citation  
     
    Bookmark   13 citations  
  22. Werke in Drei Bänden.Friedrich Wilhelm Nietzsche & Karl Schlechta - 1954 - C. Hanser.
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  23. International Nietzsche Bibliography.Herbert William Reichert & Karl Schlechta - 1960 - University of North Carolina Press.
     
    Export citation  
     
    Bookmark  
  24. Der Fall Nietzsche Aufsätze Und Vorträge.Karl Schlechta - 1958 - C. Hanser.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  25. Der Junge Nietzsche Und Das Klassische Altertum.Karl Schlechta - 1948 - F. Kupferberg.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Der junge Nietzsche und Schopenhauer.Karl Schlechta - 1939 - Schopenhauer Jahrbuch:289-302.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Das tüpfelchen auf dem I; eine philosophische groteske.Karl Schlechta - 1972 - Nietzsche Studien Gesamtregister Bände 1-20 1 (1):419-422.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  2
    Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size.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 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  1
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Friedrich Nietzsche Herausgegeben von Karl Schlechta.Karl Schlechta - 1982 - Hanser.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Friedrich Nietzsche von den Verborgenen Anfängen Seines Philosophierens.Karl Schlechta & Anni Anders - 1962 - F. Fromann.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  32. Friedrich Nietzsche. Werke in drei Bänden, 3. Band.Karl Schlechta - 1957 - Tijdschrift Voor Filosofie 19 (4):696-697.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Friedrich Nietzsche, Werke in drei Banden.Karl Schlechta - 1955 - Tijdschrift Voor Filosofie 17 (4):719-720.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  34. Goethe in Seinem Verhältnis Zu Aristoteles Ein Versuch.Karl Schlechta - 1938 - V. Klostermann.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Histoire et tradition. Les rapports de Nietzsche avec l'Histoire.Karl Schlechta - 1958 - Revue de Théologie Et de Philosophie:100.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  1
    Hirnforschung und philosophische spekulation im griechischen altertum.Karl Schlechta - 1951 - Centaurus 1 (4):334-355.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Nietzsche über den Glauben an die Grammatik.Karl Schlechta - 1972 - Nietzsche-Studien 1:353.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Nietzsche-Chronik Daten Zu Leben Und Werk.Karl Schlechta - 1975
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Neuerer Humanismus in Deutschland.Karl Schlechta - 1948 - Kupferberg.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Nonmonotonic Logics: Basic Concepts, Results, and Techniques.Karl Schlechta - 1997 - Springer-Verlag New York.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  25
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  42.  5
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Nietzsche-Index Zu den Werken in Drei Bänden.Karl Schlechta & Friedrich Wilhelm Nietzsche - 1965 - Wissenschaftliche Buchgesellschaft.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Nietzsche-Index zu den Werken in drei Bänden.Karl Schlechta - 1968 - Zeitschrift für Philosophische Forschung 22 (3):481-482.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  5
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Sind Physik und Philosophie am Ende?Karl Schlechta - 1970 - Dialectica 24 (1‐3):205-213.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  5
    Some Results on Theory Revision.Karl Schlechta - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 72--92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Worte Ins Ungewisse Rundfunk-Reden Mit Einem Nachwort von Walter Jens.Karl Schlechta - 1969 - E. Roether.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark