Abstract

We study the problem of none-stable truth values for modal formulas. Our aim is to investigate temporal-modal logics for description reliability of information. We investigate a logic with rather standard relational models for branching time logic. But we study an unusual task – intervals of none-stable truth values of formulas. None-stable truth values for formulas means that formulas for a long time change their truth values from true to false and vice versa. We found an algorithm which may recognize permanently none-stable formulas.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call