Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 24825
authFullName_s : Yuefei Sui
Page :
sorted by
Image document

A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$

 Shaobo Deng , Meiying Sun , Cungen Cao , Yuefei Sui
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.152-160, ⟨10.1007/978-3-662-44980-6_17⟩
Conference papers hal-01383328v1
Image document

The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic

 Meiying Sun , Shaobo Deng , Yuefei Sui
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.141-151, ⟨10.1007/978-3-662-44980-6_16⟩
Conference papers hal-01383327v1
Page :