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]

Authors

Sabine Frittella

This author has not been identified. Look up 'Sabine Frittella' in Google

Alessandra Palmigiano

This author has not been identified. Look up 'Alessandra Palmigiano' in Google

Luigi Santocanale

This author has not been identified. Look up 'Luigi Santocanale' in Google