10 citations · 41 across the 24 of their papers we have counts for
12 papers · 1 filter
Conditionals and modularity in general logics
Dov Gabbay, Karl Schlechta
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
Dov Gabbay, Karl Schlechta
We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones. We offer analysis/simplification/repair of their system and compare it with our own related sy…
Semantic interpolation
Dov Gabbay, Karl Schlechta
We treat interpolation for various logics.
Independence - revision and defaults
Dov Gabbay, Karl Schlechta
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 prefere…
Size and Logic
Dov Gabbay, Karl Schlechta
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.
A semantics for obligations
Dov Gabbay, Karl Schlechta
We analyze a number of properties obligations have or should have.