The expressivity of update logics.

Louwe B. Kuijer

Published in: J. Log. Comput. (2015)

Keyphrases

computational properties
expressive power
modal logic
classical logic
propositional calculus
artificial intelligence
decision trees
probabilistic model
decision procedures