STL: Surprisingly Tricky Logic (for System Validation).

Ho Chit Siu Kevin Leahy Makai Mann

Published in: CoRR (2023)

Keyphrases

logic programming
real time
website
modal logic
formal theory
multi valued
digital circuits
predicate logic
logical framework
sound and complete axiomatization
proof theory
deontic logic
truth values
classical logic
automated reasoning
similarity measure
decision trees
data mining