Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases

ArXi:2604.12660v1 Announce Type: new In nonmonotonic reasoning from conditional belief bases, an inference operator satisfying syntax splitting postulates allows for taking only the relevant parts of a belief base into account, provided that the belief base splits into subbases based on disjoint signatures. Because such disjointness is rare in practice, safe conditional syntax splitting has been proposed as a generalization of syntax splitting, allowing the conditionals in the subbases to share some atoms.