@article{杨洋_1783, author = {[杨洋, 李广力, 张桐搏, 刘磊, 吕帅]}, title = {命题模态逻辑S5系统中并行推理方法}, publisher = {计算机科学与探索}, year = {2016}, journal = {计算机科学与探索}, volume = {10}, number = {12}, eid = {1783}, pages = {1783-1792}, keywords = {

命题模态逻辑;S5公理系统;并行推理;扩展规则

}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1509035 }