Generalized modal satisfiability

DOI10.1016/j.jcss.2009.10.011zbMath1197.68048MaRDI QIDQ988571

Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

Publication date: 18 August 2010

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2009.10.011

zbMATH Keywords

computational complexity; modal logic

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

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

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