Many-Dimensional Logical Systems || A Tableau Decision...

Studia Logica 2002 / 11 Vol. 72; Iss. 2

Many-Dimensional Logical Systems || A Tableau Decision Algorithm for Modalized ALC with Constant Domains

Carsten Lutz, Holger Sturm, Frank Wolter and Michael Zakharyaschev
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
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
Conversion to is in progress
Conversion to is failed