On the Decidability of Certain Semi-Lattice Based Modal Logics.

Katalin Bimb

Browse the full TABLEAUX paper archive.