Paper ID: 2202.07596

A General Framework for Modelling Conditional Reasoning -- Preliminary Report

Giovanni Casini, Umberto Straccia

We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy closure properties associated to classical logics.

Submitted: Feb 15, 2022