Some General Completeness Results for Propositionally Quantified Modal Logics.

Yifeng Ding, Yipu Li

Browse the full AiML paper archive.