Reference : Reactive Preferential Structures and Nonmonotonic consequence
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15886
Reactive Preferential Structures and Nonmonotonic consequence
English
Gabbay, Dov M. [King’s College London, Department of Computer Science, London, UK]
Schlechta, Karl [> >]
2009
Review of Symbolic Logic (The)
Cambridge University Press
2
2
414–450
Yes (verified by ORBilu)
1755-0203
1755-0211
Cambridge
United Kingdom
[en] We introduce Information Bearing Relation Systems (IBRS) a
s an abstraction of many logical
systems. 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 coher
ence properties of preferential structures
by higher arrows, i.e. arrows, which do not go to points, but t
o arrows themselves
http://hdl.handle.net/10993/15886

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
0808.3075v1.pdfPublisher postprint340.17 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.