We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: