Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect

Jesse Heyninck*, Gabriele Kern-Isberner, Thomas Meyer

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


Lexicographic inference [1] is a well-behaved and popular approach to reasoning with non-monotonic conditionals. In recent work we have shown that lexicographic inference satisfies syntax splitting, which means we can restrict our attention to parts of the belief base that share atoms with a given query. In this paper, we introduce the concept of conditional syntax splitting, inspired by the notion of conditional independence as known from probability theory. We show that lexicographic inference satisfies conditional syntax splitting, and connect conditional syntax splitting to several known properties from the literature on non-monotonic reasoning, including the drowning effect.

Original languageEnglish
Title of host publicationProceedings of the 20th International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022)
EditorsOfer Arieli, Giovanni Casini, Laura Giordana
Number of pages9
Publication statusPublished - 22 Aug 2022
Event20th International Workshop on Non-Monotonic Reasoning, NMR 2022 - Haifa, Israel
Duration: 7 Aug 20229 Aug 2022

Publication series

SeriesCEUR Workshop Proceedings


Workshop20th International Workshop on Non-Monotonic Reasoning, NMR 2022


  • defeasible reasoning
  • lexicographic inference
  • non-monotonic logic
  • Non-monotonic Reasoning
  • syntax splitting


Dive into the research topics of 'Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect'. Together they form a unique fingerprint.

Cite this