Formalizing the Logic-Automaton Connection.

Stefan Berghofer Markus Reiter

Published in: TPHOLs (2009)

Keyphrases

classical logic
predicate logic
multi valued
finite state machines
asynchronous circuits
finite state automata
linear time temporal logic
neural network
database systems
data model
modal logic
tree automata
formal theory
deterministic finite automata
sound and complete axiomatization