It is not the case that Kraus, Lehmann, and Magidor showed that preferred model semantics validates only System P, which is too weak to capture defeasible conditionals in natural reasoning.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.