Shortest Axiomatizations of Implicational S4 and S5.

Zachary Ernst Branden Fitelson Kenneth Harris Larry Wos

Published in: Notre Dame J. Formal Log. (2002)

Keyphrases

decision procedures
shortest path
high level
path length
real time
computer vision
decision trees
computer science
training set
query processing
multi objective
wireless sensor networks
probability distribution
conditional logic
addition chains