Beth's tableaux for relevant logic.
Jean-François PabionPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- real time
- modal logic
- automated reasoning
- classical logic
- predicate logic
- logic programming
- decision procedures
- sequent calculi
- delay insensitive
- epistemic logic
- nonmonotonic logics
- computational properties
- multiscale
- theorem prover
- knowledge representation
- conditional logic
- relational databases
- truth values
- expert systems
- dynamic logic
- proof theory
- database