| 2006 |
|---|
| 4 | EE | Mauricio Osorio,
José R. Arrazola Ramírez,
José Luis Carballido,
Oscar Estrada:
An Axiomatization of G'3.
LoLaCOM 2006 |
| 3 | EE | Mauricio Osorio,
José R. Arrazola Ramírez,
José Luis Carballido,
Oscar Estrada:
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw.
LoLaCOM 2006 |
| 2 | EE | Mauricio Osorio,
Juan Antonio Navarro Pérez,
José R. Arrazola Ramírez,
Verónica Borja Macías:
Logics with Common Weak Completions.
J. Log. Comput. 16(6): 867-890 (2006) |
| 2005 |
|---|
| 1 | EE | Mauricio Javier Osorio Galindo,
Juan Antonio Navarro Pérez,
José R. Arrazola Ramírez,
Verónica Borja Macías:
Ground Nonmonotonic Modal Logic S5: New Results.
J. Log. Comput. 15(5): 787-813 (2005) |
