Term-Modal Logics.

Melvin Fitting, Lars Thalmann, Andrei Voronkov

Browse the full TABLEAUX paper archive.