Stationary Sets and Infinitary Logic.

Saharon Shelah Jouko A. Väänänen

Published in: J. Symb. Log. (2000)

Keyphrases

non stationary
modal logic
logic programming
horn clauses
classical logic
bayesian networks
predicate logic
data mining
state space
computational properties
proof theory