Concepedia

Raymond M. Smullyan

RM

20

Publications

696

Citations

17

H-Index

1957

Active since

Affiliations

Yeshiva University(Current)

Princeton Public Schools

Raymond M. Smullyan is an author at Yeshiva University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceLanguageSemanticsFormal LogicSocial SciencesFormal VerificationMathematical Foundations

Publications per year

1957–1991

20

Publications

20

A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

Raymond M. Smullyan · Proceedings of the National Academy of Sciences · 1963 · 87 citations · Full text

What is the Name of this Book?: The Riddle of Dracula and Other Logical Puzzles.

George Boolos, Raymond M. Smullyan · The Philosophical Review · 1979 · 75 citations

Other Logical Puzzles, Comparative Literature, Literary Criticism

Languages in which self reference is possible

Raymond M. Smullyan · Journal of Symbolic Logic · 1957 · 71 citations

Language Construct, Formal Logic, Philosophy Of Language +15

What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles.

George Boolos, Raymond M. Smullyan · The Philosophical Review · 1980 · 55 citations

Other Logical Puzzles, Comparative Literature, Literary Criticism

On Formally Undecidable Propositions of Principia Mathematica and Related Systems.

Raymond M. Smullyan, Kurt Gödel, Bernard D. Meltzer · American Mathematical Monthly · 1966 · 53 citations

Engineering, Automated Reasoning, Formal Methods +7

Rows per page

1–5 of 20