Se presentan como extensiones del cálculo proposicional clásico, la jerarquía de sistemas deductivos SCR-n con n and gt;=1. SCR-n es el sistema de creencias para los razonadores de tipo n. El sistema SCR-w resulta de la ...