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

Cached

Download Links

by Rajeev Goré , Linh Anh Nguyen
Citations:5 - 4 self