暂无分享，去创建一个
Maarten Marx
[1] Henrik Sahlqvist. Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .