Goldblatt-Thomason for LE-logics

Abstract

We prove a uniform version of the Goldblatt-Thomason theorem for logics algebraically captured by normal lattice expansions (normal LE-logics).

References in corpus (4)

• Toward an Epistemic-Logical Theory of Categorization
• Possibility Frames and Forcing for Modal Logic
• Algebraic proof theory for LE-logics
• Canonical extensions and ultraproducts of polarities

Cited by in corpus (7)

• Rough concepts
• Modelling socio-political competition
• Non-distributive logics: from semantics to meaning
• The logic of vague categories
• Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
• Vector spaces as Kripke frames
• The Distributive Full Lambek Calculus with Modal Operators