Labelled Model Modal Logic

  title={Labelled Model Modal Logic},
  author={Alberto Artosi Guido Governatori},
  • Alberto Artosi Guido Governatori
  • Published 1994
1 Introduction There is no agreement among researchers in the area of automated deduction about which features (besides computational efficiency) a suitable theorem proving system for non-classical (in particular modal) logics should have. In our opinion, such a system should (A) avoid ad hoc manipulation of the modal formulas; (B) provide a simple and uniform treatment of a wide variety of modal (and other non-classical) logics; (C) form an adequate basis for developing efficient proof search… CONTINUE READING


Publications referenced by this paper.
Showing 1-9 of 9 references

Gabbay.Labelled Refutation Systems: A Case-Study

D.M.M. D’Agostino
Draft Manuscript, Imperial College, • 1993

Labelled Modal Proofs

A. Artosi, G. Governatori
Two Papers in Proof Theory. Annali dell’Universitá di Ferrara, Sez • 1993

Wallen.Automated Deduction in Non-Classical Logics

L A.

Classical Analytical Deduction.Annali dell’Universitá di Ferrara, Sez. III, Fil., Discussion paper 1,1988

M. Mondadori

Labelled Refutation Systems : A Case - Study . Draft Manuscript , Imperial College , March 1993 . [ Mo 88 ] M . Mondadori , Classical Analytical Deduction

H. Reichgelt P. Jackson
Annali dell ’ Universitá di Ferrara , Sez . III , Fil . , Discussion paper 1 , • 1988

Chellas.Modal Logic: An Introduction

B F.

Similar Papers

Loading similar papers…