Dynamic Algebras which are not Kripke Structures.

Jan Reiterman Vera Trnková

Published in: MFCS (1980)

Keyphrases

dynamic environments
real time
temporal logic
desirable properties
dynamically changing
databases
three dimensional
wide range
probability distribution
modal logic
inference rules