Article (Scientific journals)
Reactive Preferential Structures and Nonmonotonic consequence
Gabbay, Dov M.; Schlechta, Karl
2009In Review of Symbolic Logic, 2 (2), p. 414–450
Peer Reviewed verified by ORBi
 

Files


Full Text
0808.3075v1.pdf
Publisher postprint (348.34 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[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
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-167
Author, co-author :
Gabbay, Dov M. ;  King’s College London, Department of Computer Science, London, UK
Schlechta, Karl
Language :
English
Title :
Reactive Preferential Structures and Nonmonotonic consequence
Publication date :
2009
Journal title :
Review of Symbolic Logic
ISSN :
1755-0211
Publisher :
Cambridge University Press, Cambridge, United Kingdom
Volume :
2
Issue :
2
Pages :
414–450
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 10 March 2014

Statistics


Number of views
82 (2 by Unilu)
Number of downloads
108 (0 by Unilu)

Scopus citations®
 
10
Scopus citations®
without self-citations
1
WoS citations
 
7

Bibliography


Similar publications



Contact ORBilu