Reactive preferential structures and nonmonotonic consequence

Dov M. Gabbay, Karl Schlechta

Research output: Contribution to journalReview articlepeer-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 languageEnglish
Pages (from-to)414-450
Number of pages37
JournalReview of Symbolic Logic
Volume2
Issue number2
DOIs
StatePublished - 1 Jun 2009

Bibliographical note

Publisher Copyright:
© 2009 Association for Symbolic Logic.

Fingerprint

Dive into the research topics of 'Reactive preferential structures and nonmonotonic consequence'. Together they form a unique fingerprint.

Cite this