Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper).

Zhiguang Zhao

Browse the full KR paper archive.