Two-thirds simulation indexes and modal logic characterization.

Yanfang Ma Min Zhang Yixiang Chen Liang Chen

Published in: Frontiers Comput. Sci. China (2011)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
conditional logic
nonmonotonic logics
default logic
dynamic logic
epistemic logic
database
situation calculus
simulation model
b tree
object oriented
probability distribution
relational databases
databases