A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
Journal of Siberian Federal University Mathematics & Physics
We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passive rules.doi:10.17516/1997-1397-2016-9-2-149-157 fatcat:6y6bsndrgjecvew5ekuefj2eny