a-logic.

Murdoch Gabbay Michael Gabbay

Published in: We Will Show Them! (1) (2005)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
epistemic logic
artificial neural networks
nonmonotonic logics
asynchronous circuits
propositional dynamic logic
image sequences
multi valued
probabilistic logic