The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid.

Chelsea Battell Amy P. Felty

Published in: LFMTP (2016)

Keyphrases

modal logic
asynchronous circuits
classical logic
logic programming
state machine
multi valued
epistemic logic
knowledge base
knowledge representation
automated reasoning
horn clauses
probabilistic logic
digital circuits
formal language
proof theory