Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. 2018 11 (1)
- Authors
- Bashmakov, Stepan I.
- Contact information
- Bashmakov, Stepan I.: Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, 660041 Russia;
- Keywords
- temporal modal logic; non-transitive Kripke frame; unification; ground unifier; projective formulas
- Abstract
We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the unifiable formulas are proved. An algorithm for construction the most general unifier is found
- Pages
- 3–9
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/68378
Journal of Siberian Federal University. Mathematics & Physics / Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
Full text (.pdf)