Decidability of Information Logics

In this chapter we study the decidability of the satisfiability problem of information logics presented in Part III. Some of the decidability results of this chapter are general enough to apply to larger classes of logics. We use two standard proof methods to establish decidability: the method of finite structures; the method of translation.