On the Semantics of the Universal Quantifier.

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

logic programming
semantic information
formal semantics
conceptual model
interval arithmetic
machine learning
high level
specification language
operational semantics
intended meaning