Caracterización semántica de la jerarquía scr-n (1

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 reunión de los sistemas de la jerarquía, y coincide con el sistema de lógica mod...