Reactive preferential structures and nonmonotonic consequence

Dov M. Gabbay; Karl Schlechta

doi:10.1017/S1755020309090248

Reactive preferential structures and nonmonotonic consequence

Dov M. Gabbay
, Karl Schlechta

Department of Computer Science

Research output: Contribution to journal › Review article › peer-review

10 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	414-450
Number of pages	37
Journal	Review of Symbolic Logic
Volume	2
Issue number	2
DOIs	https://doi.org/10.1017/S1755020309090248
State	Published - 1 Jun 2009

Bibliographical note

Publisher Copyright:
© 2009 Association for Symbolic Logic.

Access to Document

10.1017/S1755020309090248

Cite this

@article{e2a709d0549a47458449477e385dd4f0,

title = "Reactive preferential structures and nonmonotonic consequence",

abstract = "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.",

author = "Gabbay, \{Dov M.\} and Karl Schlechta",

note = "Publisher Copyright: {\textcopyright} 2009 Association for Symbolic Logic.",

year = "2009",

month = jun,

day = "1",

doi = "10.1017/S1755020309090248",

language = "אנגלית",

volume = "2",

pages = "414--450",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Reactive preferential structures and nonmonotonic consequence

AU - Gabbay, Dov M.

AU - Schlechta, Karl

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 - https://www.scopus.com/pages/publications/84989166135

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 -

Reactive preferential structures and nonmonotonic consequence

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this