Parameterized Modal Satisfiability.

Antonis Achilleos, Michael Lampis, Valia Mitsou

Browse the full ICALP paper archive.