Publication:4501537

zbMath0953.03052MaRDI QIDQ4501537

Edith Hemaspaandra

Publication date: 29 January 2001

zbMATH Keywords

modal logic; complexity of modal satisfiability problems

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03D15: Complexity of computation (including implicit computational complexity)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Related Items

Expressivity and Complexity of Dependence Logic, Generalized modal satisfiability