Stationary logic and its friends. I.

Alan H. Mekler Saharon Shelah

Published in: Notre Dame J. Formal Log. (1985)

Keyphrases

non stationary
logic programming
modal logic
multi valued
predicate logic
artificial intelligence
artificial neural networks
probability theory
nonmonotonic logics
abductive reasoning
logic synthesis
deductive reasoning