On the Complexity and Properties of Preferential Propositional Dependence Logic

Kai Sauerwald, Arne Meier, Juha Kontinen

This paper considers the complexity and properties of KLM-style preferential reasoning in the setting of propositional logic with team semantics and dependence atoms, also known as…