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

Mikhail N. Rybakov Dmitry Shkatov

Published in: CoRR (2019)

Keyphrases

dynamic environments
polynomial hierarchy
propositional variables
expressive power
computational properties
causal graph
propositional formulas
bayesian networks
worst case
modal logic
variable selection
propositional logic
nonmonotonic logics