Conference item icon

Conference item

Recursive resolution for modal logic

Abstract:

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 decidable theories. The translational methods for modal logic, treated for instance in ohl, yet possess some uniformness property, but does not let one to extract proofs from the refutations. On the oth...

Expand abstract

Actions


Authors


Publisher:
Max−Planck−Institut für Informatik
Volume:
MPI−I−2002−2−007
Host title:
Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Publication date:
2002-03-01
UUID:
uuid:cfb73b93-b57b-40ca-a34d-1c79367a647c
Local pid:
cs:884
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP