Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.

Eric Hayden Campbell Michael Greenberg

Published in: CoRR (2021)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
machine learning
modal logic
linear time temporal logic
equational theories