Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

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.

• Bashmakov StepanI.

• Прикладные науки. Медицина. Технология

• Физико-математические науки