Login / Signup

On complexity of propositional linear-time temporal logic with finitely many variables.

Mikhail N. RybakovDmitry Shkatov
Published in: SAICSIT (2018)
Keyphrases
  • linear time temporal logic
  • propositional formulas
  • propositional logic
  • causal graph
  • random variables
  • causal models
  • finite number
  • polynomial hierarchy
  • machine learning
  • decision problems
  • natural deduction