Remarks about the unification type of several non-symmetric non-transitive modal logics
Abstract The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma (\varphi )$ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.
2018 ◽
Vol 11
(3)
◽
pp. 436-469
◽
Keyword(s):
2019 ◽
Vol 13
(2)
◽
pp. 416-435
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 8
(1)
◽
pp. 178-191
◽
Keyword(s):