首页 | 本学科首页   官方微博 | 高级检索  
   检索      


A Comment on Work by Booth and Co-authors
Authors:Dov M Gabbay  Karl Schlechta
Institution:(1) Department of Mechanical Engineering, The University of Hong Kong, Pokfulam Road, Hong Kong, People’s Republic of China
Abstract: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 \vartriangleleft{{\vartriangleleft}}, where < is the usual ranked relation, and \vartriangleleft{{\vartriangleleft}} is a sub-relation of < . They have, however, left open a characterization of the infinite case, which we treat here.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号