Caríssimos participantes da lista, Estou usando como nomes para o operador doxástico B e seu dual b (~B~) as expressões "crença necessária" e "crença possível", e também "crença contingente" para o equivalente hipotético doxástico do operador de contingência alético. Alguém conhece ou sugere denominações melhores ou mais usuais?
Obrigado. PS: Sei que alguns podem argumentar que não seja interessante a noção de "crença contingente", mas, ainda que esteja de acordo, gostaria de poder nomeá-la. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l