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]
No reviews for this publication, yet.