Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.

Linh Anh Nguyen

Browse the full TABLEAUX paper archive.