Propositional dynamic logics with counters and stacks.

Tinko Tinchev Dimiter Vakarelov

Published in: Symposium on Computation Theory (1984)

Keyphrases

expressive power
default logic
propositional logic
dynamically changing
data sets
modal logic
autoepistemic logic
real time
neural network
multi agent
dynamic environments
belief revision
multi valued