Tableaux based decision procedures for modal logics of confluence and density

• Autorzy: del Cerro L.F. , Gasquet O.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

automated deduction; tableaux; modal logic; confluence; density; decidability

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 40, Nr 4
• Strony: 317--333
• Opis fizyczny: bibliogr. 12 poz.

Twórcy

autor

del Cerro L.F.

autor

Gasquet O.

• IRIT-Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France,