Login / Signup
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities.
Serenella Cerrito
Marta Cialdea Mayer
Published in:
J. Autom. Reason. (2013)
Keyphrases
</>
proof procedure
tableau calculus
theorem proving
first order logic
decision making
description logics
propositional logic
proof search
decision makers
multi valued
model theoretic
modal logic
theorem prover
optimal solution
decision model
bayesian networks
automated theorem proving
sequent calculus
neural network