The Computational Complexity of Provability in Systems of Modal Propositional Logic

TitleThe Computational Complexity of Provability in Systems of Modal Propositional Logic
Publication TypeJournal Article
Year of Publication1977
AuthorsLadner RE
JournalSIAM Journal on Computing
Volume6
Issue3
Pagination467-480
Citation Key1730
Last changed Thu, 2011-09-15 10:51