Two-variable Logic with a Between Relation.

Andreas Krebs Kamal Lodaya Paritosh K. Pandya Howard Straubing

Published in: LICS (2016)

Keyphrases

multi valued
classical logic
modal logic
databases
asynchronous circuits
formal theory
predicate logic
automated reasoning
logic programming
genetic algorithm
model checking
logical framework
data mining
abductive reasoning
epistemic logic
real time
sound and complete axiomatization