Free Variable Tableaux for a Logic with Term Declarations.

Pedro J. Martín Antonio Gavilanes Javier Leach

Published in: TABLEAUX (1998)

Keyphrases

modal logic
sequent calculi
automated reasoning
classical first order logic
decision procedures
classical logic
logic programming
epistemic logic

conditional logic
functional dependencies
multi valued
nonmonotonic logics
database
first order logic
neural network

dynamic logic
set theory
proof procedure
default logic
predicate logic
multi agent systems
data sets

modal operators
feature selection
model theoretic
relational databases
logic programs
defeasible logic
model checking