古典命題論理の強完全性定理
#強完全性定理
#古典命題論理
A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 1.18