One Logic to Use Them All.

Jean-Christophe Filliâtre

Published in: CADE (2013)

Keyphrases

predicate logic
database
automated reasoning
proof theory
logic synthesis
computer vision
modal logic
classical logic
real time
defeasible logic
deontic logic
sound and complete axiomatization