Fibred Tableaux for Multi-Implication Logic.
Marcello D'AgostinoDov M. GabbayPublished in: TABLEAUX (1996)
Keyphrases
- modal logic
- functional dependencies
- automated reasoning
- sequent calculi
- logic programming
- search algorithm
- temporal logic
- computational properties
- decision procedures
- formal theory
- logical implication
- natural language
- object oriented
- information systems
- neural network
- real time
- classical logic
- defeasible logic
- proof procedure
- database