TY - JOUR
T1 - Reactive preferential structures and nonmonotonic consequence
AU - Gabbay, Dov M.
AU - Schlechta, Karl
N1 - Publisher Copyright:
© 2009 Association for Symbolic Logic.
PY - 2009/6/1
Y1 - 2009/6/1
N2 - We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. These are networks with arrows recursively leading to other arrows etc. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can "break" the strong coherence properties of preferential structures by higher arrows, that is, arrows, which do not go to points, but to arrows themselves.
AB - We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. These are networks with arrows recursively leading to other arrows etc. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can "break" the strong coherence properties of preferential structures by higher arrows, that is, arrows, which do not go to points, but to arrows themselves.
UR - http://www.scopus.com/inward/record.url?scp=84989166135&partnerID=8YFLogxK
U2 - 10.1017/S1755020309090248
DO - 10.1017/S1755020309090248
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.systematicreview???
AN - SCOPUS:84989166135
SN - 1755-0203
VL - 2
SP - 414
EP - 450
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
IS - 2
ER -