Abstract
We re-analyze the original algebraic proof of the Goldblatt-Thomason theorem characterizing modally definable frame classes, providing an alternative model-theoretic argument. The analysis also provides a more general perspective on the use of algebraic versus model-theoretic methods in Modal Logic.
Get full access to this article
View all access options for this article.