Affiliations: IRIT - Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France {farinas, gasquet}@irit.fr internet: http://www.irit.fr/ACTIVITES/EQ_ALG | IRIT - Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France {farinas, gasquet}@irit.fr internet: http://www.irit.fr/ACTIVITES/EQ_ALG
Note: [] Address for correspondence: IRIT - Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France
Abstract: In this paper we present a decision procedures for modal logics with transitive models together with additionnal properties like confluence and density. These procedures are tableaux-based, and we show how to handle them in this well-known framework by generalizing usual tableaux (which are trees) to richer structures: directed acyclic graphs.
