5 citations · 24 across the 16 of their papers we have counts for
1 paper · 1 filter
Antonis Achilleos, Michael Lampis, Valia Mitsou
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl…