by M. Khodadadi, R. A. Schmidt, D. Tishkovsky and M. Zawidzki
Reference:
Terminating tableau calculi for modal logic K with global counting operators (M. Khodadadi, R. A. Schmidt, D. Tishkovsky and M. Zawidzki), 2012.
Bibtex Entry:
@UNPUBLISHED{KEn12,
Author = {M. Khodadadi and R. A. Schmidt and D. Tishkovsky and M. Zawidzki},
YEAR = {2012},
TITLE = {Terminating tableau calculi for modal logic K with global counting operators},
URL = {papers/KEn12.pdf}
}