Algebraic classifications for fragments of first-order logic and beyond

Reijo Jaakkola, Antti Kuusisto

Complexity and decidability of logics is a major research area involving a huge range of different logical systems. This calls for a unified and systematic approach for the field.…