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 reasoningdefeasible inferencereactive structurespreferential consequence

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (8)

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

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

This page was built for publication: REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE