REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
From MaRDI portal
Publication:3395334
DOI10.1017/S1755020309090248zbMATH Open1174.03010arXiv0808.3075MaRDI QIDQ3395334FDOQ3395334
Authors: Dov Gabbay, K. Schlechta 
Publication date: 26 August 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Abstract: We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems.
Full work available at URL: https://arxiv.org/abs/0808.3075
Recommendations
Cites Work
- 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
- Saturation, nonmonotonic reasoning and the closed-world assumption
- Reactive Kripke Models and Contrary to Duty Obligations
- Roadmap for preferential logics
- Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
Cited In (9)
- Independence -- revision and defaults
- Reactive automata
- Defeasible inheritance systems and reactive diagrams
- Modal logics of reactive frames
- Cumulativity without closure of the domain under finite unions
- Human rationality challenges universal logic
- Completeness theorems for reactive modal logics
- Global view on reactivity: switch graphs and their logics
- Introducing reactive modal tableaux
This page was built for publication: REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395334)
