On Preservation Theorems for Two-Variable Logic.

Erich Grädel Eric Rosen

Published in: Math. Log. Q. (1999)

Keyphrases

classical logic
logic programming
modal logic
sequent calculus
proof search
cut elimination
multi valued
predicate logic
defeasible logic
genetic algorithm
knowledge base
search algorithm
probabilistic model
probabilistic logic
nonmonotonic logics
digital topology