Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.

Timothy Williamson

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

Keyphrases

expressive power
sufficient conditions
modal logic
inference rules
globally optimal
information retrieval
conditional logic
databases
machine learning
information systems
bayesian networks
em algorithm
classical logic