Unification and passive inference rules for modal logics.
Vladimir V. RybakovMehmet TerzilerÇigdem GencerPublished in: J. Appl. Non Class. Logics (2000)
Keyphrases
- inference rules
- modal logic
- theorem proving
- theorem prover
- temporal logic
- decision procedures
- classical logic
- situation calculus
- epistemic logic
- nonmonotonic logics
- logical framework
- automated reasoning
- sequent calculus
- legal reasoning
- first order logic
- horn clauses
- modal operators
- database systems
- default logic
- supervised learning
- multi agent systems
- natural deduction