EasyChair Smart Slide
A Henkin-Style Completeness Proof for the Modal Logic S5
A Henkin-Style Completeness Proof for the Modal Logic S5