Sciweavers

CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 11 months ago
Generalized Modal Satisfiability
It is well-known that modal satisfiability is PSPACE-complete [Lad77]. However, the complexity may decrease if we restrict the set of propositional operators used. Note that there ...
Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor
ICALP
2010
Springer
14 years 1 months ago
Parameterized Modal Satisfiability
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
Antonis Achilleos, Michael Lampis, Valia Mitsou