About the unification type of $\mathbf {K}+\square \square \bot $-Reference-Cited by-同舟云学术

About the unification type of $\mathbf {K}+\square \square \bot $

Published:2021-09-01 Issue: Volume: Page:
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Balbiani Philippe^ORCID,Gencer Çiğdem,Rostamigiv Maryam,Tinchev Tinko

Funder

Bulgarian National Science Fund

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

https://link.springer.com/content/pdf/10.1007/s10472-021-09768-w.pdf

Reference28 articles.

1. Baader, F., Fernández Gil, O., Rostamigiv, M.: Restricted unification in the description logic $\mathcal {F}{\mathcal L}_{0}$. In: 35th International Workshop on Unification, Informal proceedings, pp 8–14 (2021)

2. Baader, F., Ghilardi, S.: Unification in modal and description logics. Logic Journal of the IGPL 19, 705–730 (2011)

3. Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277–305 (2001)

4. Balbiani, P.: Remarks about the unification type of several non-symmetric non-transitive modal logics. Logic Journal of the IGPL 27, 639–658 (2019)

5. Balbiani, P., Gencer, Ç.: KD is nullary. J. Appl. Non-Class. Log. 27, 196–205 (2017)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. About the Unification Types of Modal Logics;Outstanding Contributions to Logic;2024

2. Projective relative unification through duality;Journal of Logic and Computation;2023-10-02

3. Remarks about the unification types of some locally tabular normal modal logics;Logic Journal of the IGPL;2022-01-04