On the complexity of explicit modal logics (0)

by Roman Kuznets
Venue:Computer Science Logic, 14th international workshop, CSL 2000, annual conference of the EACSL