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

Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale

We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a…