40 citations · 44 across the 19 of their papers we have counts for
1 paper · 1 filter
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…