A Gödel Calculus for Linear Temporal Logic.

Juan Pablo Aguilera Ozuna Martín Diéguez David Fernández-Duque Brett McLean

Published in: CoRR (2022)

Keyphrases

linear temporal logic
temporal logic
linear time temporal logic
transition systems
model checking
bounded model checking
social bookmarking
software engineering
domain specific
orders of magnitude
belief revision
classical planning
formal verification
concurrent systems