Reference : A Comment on Work by Booth and Co-authors
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15873
A Comment on Work by Booth and Co-authors
English
Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; King’s College London, Department of Computer Science, London, UK; Bar-Ilan University, Ramat-Gan, Israel]
Schlechta, Karl [> >]
2010
Studia Logica
Springer
94
3
403–432
Yes
0039-3215
1572-8730
Berlin
Germany
[en] Theory Revision ; Non-monotonic Logic ; Completeness Proofs
[en] Booth and his co-authors have shown in [2], that many new approaches to
theory revision (with fixed K) can be represented by two relations, < and, where < is
the usual ranked relation, and is a sub-relation of <.
They have, however, left open a characterization of the infinite case, which we treat here.
http://hdl.handle.net/10993/15873
10.1007/s11225-010-9237-7

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
art%3A10.1007%2Fs11225-010-9237-7.pdfPublisher postprint389.62 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.