Reasoning with conditional interpretations

We illustrate how key forms of reasoning can be captured within the framework of Conditional Interpretations, a semantics for conditional languages that supports the formalization of a wide range of reasoning systems. In particular, we outline how to model fundamental notions of entailment, beginning with relations that satisfy classical closure properties and extending to non-monotonic frameworks such as Rational Closure.