Mona & Fido: The Logic-Automaton Connection in Practice.

Published in: CSL (1997)

Keyphrases

modal logic
real world
classical logic
neural network
finite state machines
logical framework
set theory
predicate logic
linear logic
delay insensitive
database
state space
logic programming
defeasible logic
asynchronous circuits
sound and complete axiomatization