Modal Tableaux Based on Residuation.

Heinrich Wansing

Published in: J. Log. Comput. (1997)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
situation calculus
kripke models
modal operators
functional dependencies
random walk
data analysis
computational complexity
search algorithm
artificial intelligence
genetic algorithm
sequent calculus
data sets