Two-variable logic revisited.

Yanger Ma Tony Tan

Published in: CoRR (2019)

Keyphrases

neural network
logic programming
modal logic
predicate logic
proof theory
sound and complete axiomatization
logical framework
classical logic
logic synthesis
linear temporal logic