Linear Temporal Logic and Propositional Schemata, Back and Forth.

Vincent Aravantinos Ricardo Caferra Nicolas Peltier

Published in: TIME (2011)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
propositional logic
default logic
first order logic
knowledge compilation
functional dependencies
modal logic
learning algorithm
high level
general purpose