Combining Non-stably Infinite, Non-first Order Theories.

Pascal Fontaine E. Pascal Gribomont

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

theory revision
higher order
first order logic
artificial intelligence
theoretical framework
real numbers
stochastic dominance
information retrieval
domain theory
probabilistic logic
finite sets
linear temporal logic
logical theories