Resumen de Automatic recognition of interpolation in modal calculi
We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3.
We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3.
