Interval multi-agent logic with reliability operator

We study intransitive temporal multi-agent logic with agents' multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables. We propose a background for such approach and a technique for computation truth values of formulas. Main results concerns solvability problem, we prove that the resulting logic is decidable.