Generalized Modal Satisfiability.

Michael Bauland Edith Hemaspaandra Henning Schnoor Ilka Schnoor

Published in: STACS (2006)

Keyphrases

modal logic
np complete
description logic alc
satisfiability problem
propositional logic
real time
computational complexity
decision procedures
artificial intelligence
objective function
pairwise
phase transition
symmetry breaking