![](/img/cover-not-exists.png)
Many-Dimensional Logical Systems || A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Carsten Lutz, Holger Sturm, Frank Wolter and Michael ZakharyaschevVolume:
72
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016461
Date:
November, 2002
File:
PDF, 3.46 MB
english, 2002