Lógica modal: diferenças entre revisões

era estender este mesmo resultado algébrico para os sistemas da classe

“Gmnpq” proposta por Lemmon e Scott nas “Lemmon notes”. <ref>Para mais informação sobre semântica algébrica para a lógica modal ver [http://samirgorsky.vilabol.uol.com.br/logicamodal.pdf]</ref>

 

==Principais contribuidores da lógica modal==