Olá, alguém poderia me indicar alguns artigos que falam da tradução de Lógica de Primeira Ordem para Lógica Modal.
Regivan _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
