Finite Model Property of S5

UH Logic Seminar

I discussed the finite model property of the modal logic system S5 at the University of Hawaii's logic seminar.

The slides can be viewed here.