Nondeterministic Light Logics and NP-Time.

François Maurel

Published in: TLCA (2003)

Keyphrases

expressive power
modal logic
computational complexity
np complete
database
finite state
np hard
epistemic logic
conditional logic
inference rules
probability distribution
decision trees
higher order
initial state
classical logic
website
data sets