Text this: LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE