Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
317--333
Opis fizyczny
bibliogr. 12 poz.
Twórcy
autor
autor
- IRIT-Université Paul Sabatier, 118 route de Narbonne, Toulouse Cedex 04, France, internet: http://www.irit.fr/ACTIVITES/EQ_ALG
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0079