Herbrand's Theorem for a Modal Logic
| Abstract | 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.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesGeorg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Melvin Fitting (2002). Interpolation for First Order S5. Journal of Symbolic Logic 67 (2):621-634.
Herman Ruge Jervell (1972). An Herbrand Theorem for a Modal Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Herman Ruge Jervell (1971). An Herebrand [I.E. Herbrand] Theorem for Higher Order Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Yue J. Jiang (1993). An Intensional Epistemic Logic. Studia Logica 52 (2):259 - 280.
Kenneth A. Bowen (1976). An Herbrand Theorem for Prenex Formulas of LJ. Notre Dame Journal of Formal Logic 17 (2):263-266.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Andrés R. Raggio (1974). A Simple Proof of Herbrand's Theorem. Notre Dame Journal of Formal Logic 15 (3):487-488.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
T. M. Scanlon (1973). The Consistency of Number Theory Via Herbrand's Theorem. Journal of Symbolic Logic 38 (1):29-58.
Sebastian Enqvist (forthcoming). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis:1-32.
W. D. Goldfarb & T. M. Scanlon (1974). The Ω-Consistency of Number Theory Via Herbrand's Theorem. Journal of Symbolic Logic 39 (4):678-692.
William Craig (1957). Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. Journal of Symbolic Logic 22 (3):250-268.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads6 ( #145,407 of 548,969 )Recent downloads (6 months)1 ( #63,511 of 548,969 )How can I increase my downloads? |
My notes
Discussion
