Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.

Silvio Ghilardi, Luigi Santocanale

Browse the full LPAR paper archive.