An algebraic generalization of Kripke structures

Sérgio Marcelino Pedro Resende

Published in: CoRR (2007)

Keyphrases

temporal logic
model checking
modal logic
databases
inference rules
database
real time
social networks
training data
bayesian networks
multiscale
wide range
data structure
structural features