Author:
Balbiani Philippe,Gencer Çiğdem
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Baader, F., Ghilardi, S.: Unification in modal and description logics. Logic J. IGPL 19, 705–730 (2011)
2. Lecture Notes in Computer Science;F Baader,2009
3. Babenyshev, S., Rybakov, V.: Unification in linear temporal logic
$$LTL$$
. Ann. Pure Appl. Logic 162, 991–1000 (2011)
4. Balbiani, P., Tinchev, T.: Boolean logics with relations. J. Logic Algebraic Program. 79, 707–721 (2010)
5. Balbiani, P., Tinchev, T., Vakarelov, D.: Modal logics for region-based theories of space. Fundamenta Informaticæ 81, 29–82 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献