A Modal Herbrand Theorem

  title={A Modal Herbrand Theorem},
  author={Melvin Fitting},
  journal={Fundam. Inform.},
We state and prove a modal Herbrand theorem that is, we believe, a more natural analog of the classical version than has appeared before. The statement itself requires the enlargement of the usual machinery of first-order modal logic — we use the device of predicate abstraction, something that has been considered elsewhere as well. This expands the expressive power of modal logic in a natural way. Our proof of the modal version of Herbrand’s theorem uses a tableau system that takes predicate… CONTINUE READING

From This Paper

Topics from this paper.
10 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

A deduction model of belief

  • Kurt Konolige
  • 1986
3 Excerpts

Proof Methods for Modal and Intuitionistic Logics

  • Melvin C. Fitting
  • D. Reidel Publishing Co., Dordrecht,
  • 1983
1 Excerpt

The Decision Problam. Solvable cases of quantificational formulas

  • Burton Dreben, Warren D. Goldfarb
  • Advanced Book Program. Addison-Wesley,
  • 1979
1 Excerpt

A modal logic analog of Smullyan’s fundamental theorem

  • Melvin C. Fitting
  • Zeitschrift für mathematische Logik und Gru…
  • 1973
3 Excerpts

An epsilon-calculus system for first-order S4

  • Melvin C. Fitting
  • editor, Conference in Mathematical Logic, London…
  • 1972
1 Excerpt

Similar Papers

Loading similar papers…