On the complexity of explicit modal logics (2000)

by R Kuznets
Venue:In Computer Science Logic (CSL