Conditional algebras

Drawing on the classic paper by Chellas “Basic conditional logic” (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the “if…, then…” connective as strictly related to the unary modal necessity operator. To this end, we introduce a variety of conditional algebras, and we develop its duality and canonical extensions theory.