Stationary logic and its friends. II.

Alan H. Mekler Saharon Shelah

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

Keyphrases

non stationary
logic programming
automated reasoning
classical logic
multi valued
abductive reasoning
proof theory
database
belief revision
set theory