Cifuentes Vásquez, José Carlos2018-04-092018-04-091992http://revistas.pucp.edu.pe/index.php/arete/article/view/7418/7640En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de BarcanIn this note we discuss a general form of the Deduction Theorem (DT) for first order modal systems, which permits to derive severa! other formulations of DT found in the literature, and their relationship with the Barcan's Formulaapplication/pdfspainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0Philosophyinfo:eu-repo/semantics/articlehttps://purl.org/pe-repo/ocde/ford#6.03.01https://doi.org/10.18800/arete.199202.001