Cumulativity without closure of the domain under finite unions
From MaRDI portal
Publication:3580677
DOI10.1017/S1755020308080258zbMATH Open1205.03041arXiv0808.3077MaRDI QIDQ3580677FDOQ3580677
Authors: Dov Gabbay, K. Schlechta 
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Abstract: For nonmonotonic logics, Cumulativity is an important rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under finite unions.
Full work available at URL: https://arxiv.org/abs/0808.3077
Recommendations
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Saturation, nonmonotonic reasoning and the closed-world assumption
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
- Title not available (Why is that?)
- General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
- Roadmap for preferential logics
- Completeness and incompleteness for plausibility logic
Cited In (6)
- SUMMABILITY DOMAINS NOT CONTAINING
- Modal logics of reactive frames
- Human rationality challenges universal logic
- Introducing reactive modal tableaux
- Connectives in Cumulative Logics
- Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
This page was built for publication: Cumulativity without closure of the domain under finite unions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580677)
