## Yevgeny Kazakov, Ian Pratt-Hartmann

*A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics*

LICS, 2009.

@inproceedings{LICS-2009-KazakovP, author = "Yevgeny Kazakov and Ian Pratt-Hartmann", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.17", isbn = "978-0-7695-3746-7", pages = "407--416", publisher = "{IEEE Computer Society}", title = "{A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics}", year = 2009, }