Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability.

Reijo Jaakkola

Browse the full CSL paper archive.