Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/paper4⫷Vol-3009/short3⫸Vol-3009/paper5
Zhiguang Zhao

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