A non-compactness phenomenon in logics with hyperintensional predication.

Cinzia Bonotto Alberto Zanardo

Published in: J. Philos. Log. (1989)

Keyphrases

expressive power
modal logic
databases
inference rules
real world
image processing
search algorithm
artificial neural networks
higher order
propositional logic
horn logic