Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale. Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Journal of Logic and Computation, 27(3):639-678, 2017. [doi]

Abstract

Abstract is missing.