# Grz.2 is Complete for Finite Boolean Algebras.

I present Grz.2 is complete for Finite Boolean Algebras, a draft of my upcoming paper on the subject of modal logic and Kripke semantics. In this work, I provide an accessible exposition of the Grzegorczyk axiom and give a new characterization of the modal logic Grz.2.I provide a new interpretation of the Grzegorczyk axiom and […]

Read More Grz.2 is Complete for Finite Boolean Algebras.