An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.

Solange Coupet-Grimal

Published in: J. Log. Comput. (2003)

Keyphrases

linear temporal logic
temporal logic
linear time temporal logic
transition systems
model checking
bounded model checking
machine learning
inductive inference
situation calculus
modal logic
knowledge base
search algorithm
search space