Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. A logic for data description;Archangelsky,1989
2. An overview of tableau algorithms for description logics;Baader;Studia Logica,2001
3. A modal logic for data analysis;Balbiani,1996
4. Emptiness relations in property systems;Balbiani,2001
5. A hierarchy of modal logics with relative accessibility relations;Balbiani;J. Appl. Non-Classical Logics,1999
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献