Logics with Common Weak Completions.

Mauricio Osorio Juan Antonio Navarro Pérez José R. Arrazola Ramírez Verónica Borja Macías

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

Keyphrases

expressive power
modal logic
inference rules
database
artificial intelligence
computer vision
three dimensional
multiscale
evolutionary algorithm
probabilistic model
higher order
first order logic
classical logic
weak signal