¿Lógicas modales axiomatizadas con una profundidad de anidación que es poco probable que estén en PSPACE?
Estoy buscando lógicas modales, que están axiomatizadas por un conjunto finito de axiomas de profundidad de anidamiento modal uno, y cuyo problema de satisfacción / derivabilidad es poco probable que esté en PSPACE. Sin la restricción en la profundidad de anidamiento modal, esto no es un problema,...