Modelling of logical systems by means of their fragments

Mikhail Rybakov

This work investigates the algorithmic complexity of non-classical logics, focusing on superintuitionistic and modal systems. It is shown that propositional logics are usually poly…