REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

DOI10.1017/S1755020309090248zbMath1174.03010arXiv0808.3075MaRDI QIDQ3395334

Karl Schlechta, Dov M. Gabbay

Publication date: 26 August 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

nonmonotonic reasoning; defeasible inference; reactive structures; preferential consequence

Mathematics Subject Classification ID

03B60: Other nonclassical logic

Related Items

Reactive automata, Independence -- revision and defaults, Human rationality challenges universal logic, Completeness theorems for reactive modal logics, Introducing reactive modal tableaux, Global view on reactivity: switch graphs and their logics, Modal logics of reactive frames, CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS

Cites Work

• Saturation, nonmonotonic reasoning and the closed-world assumption
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
• Reactive Kripke Models and Contrary to Duty Obligations
• Roadmap for preferential logics