4 citations · 19 across the 27 of their papers we have counts for
Showing 2009Show all
3 papers · 1 filter
math.LO2009★ 4 cited
Semantic interpolation
Dov Gabbay, Karl Schlechta
We treat interpolation for various logics.
math.LO2009
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…
math.LO2009
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.