Decidability of Finite Probablistic Propositional Dynamic Logics

Michael L. Tiomkin Johann A. Makowsky

Published in: Inf. Comput. (1991)

Keyphrases

dynamic environments
default logic
data structure
description logics
expressive power
query answering
computational properties
artificial intelligence
expert systems
finite number
multi valued
conditional logic
autoepistemic logic
propositional variables