@Article{zbMATH05288693,
Author = {V. {Rybakov}},
Title = {{Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms}},
FJournal = {{Theory of Computing Systems}},
Journal = {{Theory Comput. Syst.}},
ISSN = {1432-4350; 1433-0490/e},
Volume = {43},
Number = {2},
Pages = {254--271},
Year = {2008},
Publisher = {Springer US, New York, NY},
Language = {English},
MSC2010 = {03B44 03B25 03B70},
Zbl = {1148.03011}
}