Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
Vladimir V. RybakovPublished in: Stud Logica (1994)
Keyphrases
- inference rules
- modal logic
- temporal logic
- nonmonotonic logics
- classical logic
- theorem prover
- epistemic logic
- theorem proving
- first order logic
- logical framework
- situation calculus
- truth values
- proof procedures
- branch and bound
- probabilistic knowledge
- natural deduction
- default logic
- sequent calculus
- learning algorithm
- set of inference rules
- kripke models