Abrir menu principal

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ênciasEditar

Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980.