⏳□◇

#modal logic #temporal logic #tense logic #necessity #possibility #future logic #past logic

🌳⏳🧠

#computational tree logic #temporal logic #formal methods #model checking

🌳⎝️🧠

#computational tree logic #branching time logic #temporal logic #formal verification