选择认可动态逻辑 - 陈性元; 李勇; 潘正运; 宋国文 (Tongxin xuebao)