Tableaux based decision procedures for modal logics of confluence and density

被引：0

作者：

Farinas, Del Cerro, Luis ^{[1
]}

Gasquet, Olivier ^{[1
]}

机构：

[1] IRIT, Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France

来源：

Fundamenta Informaticae | 1999年 / 40卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

In this paper we present a decision procedures for modal logics with transitive models together with additionnai 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.

引用

页码：317 / 333