Thorn-forking in continuous logic.

Clifton F. Ealy Isaac Goldbring

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

Keyphrases

modal logic
multi valued
real world
information systems
logic programming
classical logic
real time
database systems
digital circuits
predicate logic
formal theory
asynchronous circuits
dynamic logic
logic synthesis