Two-variable Logic has Weak, but not Strong, Beth Definability.

Hajnal Andréka István Németi

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

Keyphrases

classical logic
finite model theory
propositional logic
logic programming
sound and complete axiomatization
proof theory
fixed point
graphical models
modal logic
probability theory
automated reasoning
multi valued
learning algorithm
real time
database
knowledge representation
website
formal theory