Modales
2010·filosofia
Un estudio técnico sobre las relaciones entre sistemas de deducción natural y cálculo de secuentes para lógicas modales. Desarrolla y critica las metodologías de prueba existentes, con especial énfasis en las propiedades estructurales de los sistemas.
