TITLE : A boolean extension of KLM-Style conditional reasoning AUTHOR(S) : Patersonjones G, Casini G, Meyer T TYPE : Conference article YEAR : 2020 CODE : 464907 *** DO NOT EDIT THIS FILE ***