In [12,16] we showed how to combine propositional BDI logics using Gabbay\u27s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. To achieve this end we first outline with an example two types of tableau systems, (graph and path), and discuss why both are inadequate in the case of fibring. Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori\u27s labelled tableau system KEM
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.