Article (Scientific journals)
A Comment on Work by Booth and Co-authors
Gabbay, Dov M.; Schlechta, Karl
2010In Studia Logica, 94 (3), p. 403–432
Peer reviewed
 

Files


Full Text
art%3A10.1007%2Fs11225-010-9237-7.pdf
Publisher postprint (398.97 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Theory Revision; Non-monotonic Logic; Completeness Proofs
Abstract :
[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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2011-047
Author, co-author :
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
Language :
English
Title :
A Comment on Work by Booth and Co-authors
Publication date :
2010
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Volume :
94
Issue :
3
Pages :
403–432
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 10 March 2014

Statistics


Number of views
85 (0 by Unilu)
Number of downloads
373 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
1
OpenCitations
 
1
WoS citations
 
5

Bibliography


Similar publications



Contact ORBilu