Recursive resolution for modal logic
Resolution for the first order logic can be considered as a practical tool for obtaining a decision procedures for some theories (cf. arm). For modal logics, however, there is no uniform formulation of the resolution principle, yet the normal modal logics are the most probable candidates to be decid...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Max−Planck−Institut für Informatik
2002
|