Conditional splitting holds for c-representations and c-inference

What the study found: The study found that conditional syntax splitting can be extended to belief bases that are strongly consistent or only weakly consistent. It also found that c-representations satisfy a core postulate linking conditional splitting at the syntax level and the semantic level.
Why the authors say this matters: The authors say these results matter because they connect syntax-level and semantic-level splitting for reasoning from conditional belief bases. They also indicate that this supports nonmonotonic inference with c-representations.
What the researchers tested: The researchers introduced conditional semantic splitting and studied it alongside conditional syntax splitting. They examined strongly consistent belief bases as well as weakly consistent belief bases, and they investigated inference with c-representations, including single c-representations, c-inference, credulous inference, and weakly skeptical inference.
What worked and what didn't: The abstract states that p-entailment and system Z do not satisfy conditional syntax splitting. By contrast, lexicographic inference, system W, c-inference, credulous inference based on c-representations, and weakly skeptical inference based on c-representations do satisfy conditional syntax splitting, according to the study.
What to keep in mind: The summary does not describe experimental data or practical applications. It also does not provide detailed conditions beyond the distinction between strongly consistent and weakly consistent belief bases.

Key points

• Conditional syntax splitting was extended to strongly consistent and weakly consistent belief bases.
• c-representations satisfy a core postulate connecting syntax-level and semantic-level splitting.
• p-entailment and system Z do not satisfy conditional syntax splitting.
• Lexicographic inference and system W do satisfy conditional syntax splitting.
• c-inference, credulous inference, and weakly skeptical inference based on c-representations satisfy conditional syntax splitting.