Lógica modal clássica

Predefinição:Sem notas Em lógica modal, uma lógica modal clássica L é qualquer lógica modal contendo (como axioma ou teorema)

$◊A\equiv \mathrm{\neg }◻\mathrm{\neg }A$

e sendo fechada sob a regra

$A\equiv B⊢◻A\equiv ◻B.$

Alternativamente pode-se dar uma definição dual de L na qual L é classica se e somente se contém (como axioma ou teorema)

$◻A\equiv \mathrm{\neg }◊\mathrm{\neg }A$

e é fechada sob a regra

$A\equiv B⊢◊A\equiv ◊B.$

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.