A Hilbert-Style Axiomatisation for Equational Hybrid Logic.

Luís Soares Barbosa Manuel A. Martins Marta Carreteiro

Published in: J. Log. Lang. Inf. (2014)

Keyphrases

modal logic
horn clauses
theorem proving
temporal logic
inference rules
classical logic
multi valued
clifford algebra
equational theories
proof theory
asynchronous circuits
epistemic logic
formal theory
digital circuits
databases
automated reasoning
default logic
search algorithm
learning algorithm