Search
Now showing items 1-7 of 7
Deductive characterization of semantic forcing treesCaracterización deductiva de los árboles de forzamiento semántico
(Universidad EAFIT, 2006-06-01)
LBPC-I paraconsistent systemSistema paraconsistente LBPc¬I
(Universidad EAFIT, 2006-12-01)
Epistemic and doxastic logic with restrictionsLógicas epistémica y doxástica con restricciones
(Universidad EAFIT, 2010-12-01)
Basic logic for true and false LBVFLógica básica para la verdad y la falsedad LBVF
(Universidad EAFIT, 2007-12-12)
Multi-modal systems of restricted depthSistemas multi–modales de profundidad restringida
(Universidad EAFIT, 2008-12-01)
Basic logic with alternating affirmationLógica básica con afirmación alterna
(Universidad EAFIT, 2005-04-01)
