Yolanda TORRES-FALCON

Lógica Modal 44 - S4-Validez de los Teoremas del Sistema S4 - Yolanda Torres Falcón

Lógica Modal 43 - S4-Validez - Yolanda Torres Falcón

Lógica Modal 42 - S4-Jugadas - Yolanda Torres Falcón

Lógica Modal 41 - Preservación de T-Validez - Yolanda Torres Falcón

Lógica Modal 40 - T-Validez de los Axiomas del Sistema T - Yolanda Torres Falcón

Lógica Modal 39 - T-Validez - Yolanda Torres Falcón

Lógica Modal 37 - El Juego T - Yolanda Torres Falcón

Lógica Modal 38 - Ejemplos del Juego T - Yolanda Torres Falcón

Lógica Modal 34 - Sistema S5 Teoremas 25 y 26 - Yolanda Torres Falcón

Lógica Modal 35 - Sistema S5 Teorema 27 - Yolanda Torres Falcón

Lógica Modal 36 - Modalidades en S5 - Yolanda Torres Falcón

Lógica Modal 32 - Modalidades en Forma Estándar - Yolanda Torres Falcón

Lógica Modal 31 - Modalidades - Yolanda Torres Falcón

Lógica Modal 33 - Modalidades en S4 - Yolanda Torres Falcón

Lógica Modal 30 - Sistema S4 Teoremas 23 y 24 - Yolanda Torres Falcón

Lógica Modal 29 - Sistema S4 Teoremas 21 y 22 - Yolanda Torres Falcón

Lógica Modal 28 - Sistema S4 Teoremas 18 al 20 - Yolanda Torres Falcón

Lógica Modal 27 - Leyes de Reducción Modal 2 - Yolanda Torres Falcón

Lógica Modal 26 - Leyes de Reducción Modal 1 - Yolanda Torres Falcón

Lógica Modal 25 - Teorema 17 y Regla Derivada 4 - Yolanda Torres Falcón

Lógica Modal 24 - Teoremas 11 al 16 - Yolanda Torres Falcón

Lógica Modal 23 - Paradojas de la Implicación - Yolanda Torres Falcón

Lógica Modal 22 - Teoremas 9 y 10 - Yolanda Torres Falcón

Lógica Modal 21 - Teorema 8 y Regla Derivada 3 - Yolanda Torres Falcón

Lógica Modal 20 - Teoremas 6 y 7 - Yolanda Torres Falcón

Lógica Modal 19 - Regla de Intercambio de Operadores Modales 2 - Yolanda Torres Falcón

Lógica Modal 18 - Regla de Intercambio de Operadores Modales 1 - Yolanda Torres Falcón

Lógica Modal 17 - Sucesiones de Operadores Modales Adyacentes - Yolanda Torres Falcón

Lógica Modal 16 - Teoremas T5b y T5c - Yolanda Torres Falcón

Lógica Modal 15 - Teorema T5 - Yolanda Torres Falcón