This page shows all presentations of this author published in EasyChair Smart Slide.
A Henkin-Style Completeness Proof for the Modal Logic S5
Bruno Bentzen