Giovanni Casini and Umberto Straccia.

Reasoning with Conditional Interpretations.

In Proc. of the 41st Annual ACM/SIGAPP Symposium on Applied Computing (SAC-26), ACM, pages 970--977, 2026.

Abstract:

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.