Login / Signup
Weak Completeness Theorem for Propositional Linear Time Temporal Logic.
Mariusz Giero
Published in:
Formaliz. Math. (2012)
Keyphrases
</>
linear time temporal logic
model checking
propositional logic
sequent calculus
temporal logic
first order logic
natural deduction
cut elimination
bayesian networks
search space
machine learning
reinforcement learning
general purpose
default logic
linear logic
linear temporal logic