Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman Sam Saarinen Tim Nelson Shriram Krishnamurthi

Published in: CoRR (2022)

Keyphrases

linear temporal logic
bounded model checking
linear time temporal logic
model checking
temporal logic
modal logic
automated reasoning
epistemic logic
transition systems
artificial intelligence
logic programming
multi valued
deeper understanding
classical logic
deterministic automata