Non-Monotonic Logic: Preferential Versus Algebraic Semantics

Abstract

Preferential logic can be seen as the result of manipulation with an abstract notion of size. This intermediate level between relation-based semantics and proof theory is free from the details of the latter two. It gives an unobstructed view of the central mechanism of preferential logic, and opens ways to generalizations and modifications.