DMCA

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

by Rajeev Goré , Linh Anh Nguyen
Venue:Proceedings of CLIMA VIII, vol. 5056 of LNAI
Citations:8 - 7 self