 |
|
|
|
|
|
Unification in linear modal logic on non-transitive time with the universal modality Stepan I. Bashmakov Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny 79, Krasnoyarsk, 660041, Russia 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. Keywords: temporal modal logic, non-transitive Kripke frame, unification, ground unifier, projective formulas. DOI: https://doi.org/10.17516/1997-1397-2018-11-1-3-9   Full text:
PDF file (108 kB)
References:
PDF file
HTML file
Bibliographic databases: 
UDC: 510.643 Received: 05.08.2017 Received in revised form: 10.09.2017 Accepted: 20.10.2017 Language: Citation: Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, J. Sib. Fed. Univ. Math. Phys., 11:1 (2018), 
Citation in format AMSBIB
\Bibitem{Bas18}Linking options:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
Contact us: |
 Terms of Use
|
Registration |
Logotypes |
|