Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$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
|
||
|
The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic8th 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
|