Interval Multi-agent Logic with Reliability Operator

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