Filters and partial orders
Karl Schlechta · Logic Journal of IGPL · 1997
We discuss several abstract semantics for nonmonotonic logics. We present their motivations, their development and some historical origins, and show that the three systems considered are essentially equivalent: (a) the coherent systems of filters of S. Ben-David and R. Ben-Eliahu, (b) the coherent systems of filters developed by the author, (c) the partial order semantics of N. Friedman and J. Halpern. Keywords: nonmonotonic reasoning, nonmonotonic logics, preferential models