A Gödel Calculus for Linear Temporal Logic.

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

Published in: KR (2022)

Keyphrases

linear temporal logic
temporal logic
linear time temporal logic
model checking
transition systems
bounded model checking
orders of magnitude
concurrent systems
object oriented
general purpose
belief revision
search tree
social bookmarking