%0 Journal Article
%A Vladimir R. Kiyatkin
%A Anna V. Kosheleva
%T Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2022
%P 56-74
%V 15
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a6/
%G en
%F JSFU_2022_15_1_a6