Login / Signup
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