Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 990784
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