Free Variable Tableaux for a Logic with Term Declarations.
Pedro J. MartínAntonio GavilanesJavier LeachPublished 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