Modal Theorem Proving

@inproceedings{Abadi1986ModalTP,
  title={Modal Theorem Proving},
  author={Mart{\'i}n Abadi and Zohar Manna},
  booktitle={CADE},
  year={1986}
}
We describe resolution proof systems for several modal logics. First we present the propositional versions of the systems and prove their completeness. The first-order resolution rule for classical logic is then modified to handle quantifiers directly. This new resolution rule enables us to extend our propositional systems to complete first-order systems. The systems for the different modal logics are closely related. 

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

A deduction model of belief and its logics

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Resolution modal logics,” in Logics and Models of Concurrent Systems (K.R

L. Farifias de1 Cerro
  • 1985

Moses

Y J.Y. Halpern
  • “Knowledge and Common Knowledge in a Distributed Environment ,” Third ACM Conference on the Principles of Distributed Computing, 1984, pp. 50-61. A revised version appears as IBM RJ 4421,
  • 1984