Degrees of logics with Henkin quantifiers in poor vocabularies.

Marcin Mostowski Konrad Zdanowski

Published in: Arch. Math. Log. (2004)

Keyphrases

expressive power
modal logic
inference rules
first order logic
real time
natural language
machine learning
image processing
computational properties
epistemic logic
information retrieval
genetic algorithm
bayesian networks
multiscale
high dimension