Title | The Computational Complexity of Provability in Systems of Modal Propositional Logic |
Publication Type | Journal Article |
Year of Publication | 1977 |
Authors | Ladner RE |
Journal | SIAM Journal on Computing |
Volume | 6 |
Issue | 3 |
Pagination | 467-480 |
Citation Key | 1730 |