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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.