(Pontificia Universidad Católica del Perú. Fondo Editorial, 1992) Cifuentes Vásquez, José Carlos
En 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 Barcan