Bertrand russell, herbrand's theorem, and the assignment statement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1476, Issue , 1998, Pages 14-28

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; NUMBER THEORY; SEMANTICS; SYNTACTICS;

BERTRAND; FIRST ORDER; MODAL LOGIC; PROOF RULES; STANDARD TOOLS;

COMPUTER CIRCUITS;

EID: 33749542601     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055899     Document Type: Conference Paper

References (9)

1. M. C. Fitting. A modal Herbrand theorem. Fundamenta Informaticae, 28:101-122, 1996.
2. M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Forthcoming.
3. G. Frege. Uber Sinn und Bedeutung. Zeitschrift fur Philosophie und philosophische Kritik, 100:25-50, 1892. "On Sense and Reference" translated in [4].
4. G. Frege. Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, Oxford, 1952. P. Geach and M. Black editors.
5. J. W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 249-307. D. Reidel, 1984.
6. D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, pages 497-604. D. Reidel, 1984.
7. B. Russell. On denoting. Mind, 14:479-493, 1905. Reprinted in Robert C. Marsh, ed., Logic and Knowledge: Essays 1901-1950, by Bertrand Russell, Allen & Unwin, London, 1956.
8. R. Stalnaker and R. Thomason. Abstraction in first-order modal logic. Theoria, 34:203-207, 1968.
9. R. Thomason and R. Stalnaker. Modality and reference. Nous, 2:359-372, 1968.