Roadmap for preferential logics

DOI10.3166/JANCL.19.43-95zbMath1187.03026arXiv0808.3073MaRDI QIDQ3647291

Karl Schlechta, Dov M. Gabbay

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0808.3073

zbMATH Keywords

nonmonotonic logicbelief revisioncorrespondence theoremspreferential structuresselection function structures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (7)

Semantic interpolation ⋮ Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning ⋮ Constrained consequence ⋮ CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS ⋮ A comment on work by Booth and co-authors ⋮ A theory of hierarchical consequence and conditionals ⋮ REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Distance semantics for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Defaults as Generalized Quantifiers

This page was built for publication: Roadmap for preferential logics