Herbrand's Theorem for a Modal Logic


Herbrand’s theorem is a central fact about classical logic, [9, 10]. It provides a constructive method for associating, with each first-order formula X, a sequence of formulas X1, X2, X3, . . . , so that X has a first-order proof if and only if some Xi is a tautology. Herbrand’s theorem serves as a constructive alternative to..



    Upload a copy of this work     Papers currently archived: 92,075

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

An Herbrand theorem for a modal logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
An Herebrand [i.e. Herbrand] theorem for higher order logic.Herman Ruge Jervell - 1971 - Oslo,: Universitetet i Oslo, Matematisk institutt.
An intensional epistemic logic.Yue J. Jiang - 1993 - Studia Logica 52 (2):259 - 280.
An Herbrand theorem for prenex formulas of LJ.Kenneth A. Bowen - 1976 - Notre Dame Journal of Formal Logic 17 (2):263-266.
A simple proof of Herbrand's theorem.Andrés R. Raggio - 1974 - Notre Dame Journal of Formal Logic 15 (3):487-488.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
The consistency of number theory via herbrand's theorem.T. M. Scanlon - 1973 - Journal of Symbolic Logic 38 (1):29-58.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.


Added to PP

39 (#409,532)

6 months
2 (#1,202,487)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Add more citations

References found in this work

A deduction model of belief.Kurt Konolige - 1986 - Los Atlos, Calif.: Morgan Kaufmann Publishers.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
A modal logic "epsilon"-calculus.Melvin Fitting - 1975 - Notre Dame Journal of Formal Logic 16:1.

View all 8 references / Add more references