Possible Worlds Tableaux without Explicit Accessibility.

Roderic A. Girle

Published in: TABLEAUX (1992)

Keyphrases

modal logic
data sets
functional dependencies
decision procedures
database
real time
databases
social networks
multiresolution