> alguém poderia me indicar alguns artigos que falam da tradução > de Lógica de Primeira Ordem para Lógica Modal.
O que você tem em mente é algo como o "fragmento guardado" (guarded fragment) da lógica de primeira ordem? JMarcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
