Analytic cut-free tableaux for regular modal logics of agent beliefs (2007)

by R Goré, L A Nguyen
Venue:Proceedings of CLIMA VIII