An efficient approach to nominal equalities in hybrid logic tableaux.

Serenella Cerrito Marta Cialdea Mayer

Published in: J. Appl. Non Class. Logics (2010)

Keyphrases

modal logic
automated reasoning
sequent calculi
multi valued
decision procedures
functional dependencies
proof procedure
classical logic
epistemic logic
asynchronous circuits
hybrid learning
logical framework
learning algorithm
dynamic logic
proof theory
hybrid approaches
classical first order logic
expert systems