Lógica modal clássica
Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema)
e sendo fechada sob a regra
Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema)
e é fechada sob a regra
O sistema clássico mais fraco, algumas vezes referido como E, é não-nomal. Tanto a semântica algébrica quanto a de vizinhanças caracterizam sistemas modais clássicos similares que são mais fracos que a mais fraca lógica modal normal K.
Referências
Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.