The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories.

Cheng-Chia Chen, I-Peng Lin

Browse the full LFCS paper archive.