Login / Signup

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

Shaobo DengMeiying SunCungen CaoYuefei Sui
Published in: Intelligent Information Processing (2014)
Keyphrases