A Choppy Logic

Roni Rosner Amir Pnueli

Published in: LICS (1986)

Keyphrases

classical logic
logic programming
modal logic
search algorithm
neural network
multi valued
asynchronous circuits
sound and complete axiomatization
data structure
video sequences
logical framework
deontic logic