Complexity and expressivity of propositional dynamic logics with finitely many variables.

Mikhail N. Rybakov Dmitry Shkatov

Published in: Log. J. IGPL (2018)

Keyphrases

propositional variables
dynamic environments
variable selection
causal graph
propositional formulas
computational complexity
computational cost
expressive power
propositional logic
default logic
bayesian networks
probabilistic model
worst case
first order logic
decision problems