George Boolos
- Theoretical Computer Science top 0.5%
- History and Philosophy of Science top 0.2%
-
- Philosophy and Theoretical Science 5
- Computational Theory and Mathematics top 0.5%
- Advanced Algebra and Logic 10
- Computability, Logic, AI Algorithms 9
- semigroups and automata theory 2
- Philosophy top 0.5%
- Classical Philosophy and Thought 3
-
- Logic, Reasoning, and Knowledge 17
- Logic, programming, and type systems 6
- Semantic Web and Ontologies 4
- Co-authors
- Richard C. JeffreyJohn P. BurgessRaymond M. SmullyanGiovanni SambinHilary PutnamVann McGeeGerhard JägerErwin Engeler
- Cited by
- Theoretical Computer ScienceHistory and Philosophy of ScienceExperimental and Cognitive Psychology
- Journals
- Journal of Symbolic Logic (11 papers)Journal of Philosophical Logic (5 papers)The Journal of Philosophy (3 papers)
- Partner nations
- United StatesItaly
In The Last Decade
George Boolos
48 papers receiving 1.8k citations
Peers
Comparison fields: 5 of 85
- Theoretical Computer Science 118
- History and Philosophy of Science 456
- Experimental and Cognitive Psychology 907
- Computational Theory and Mathematics 957
- Philosophy 430
Countries citing papers authored by George Boolos
This map shows the geographic impact of George Boolos's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by George Boolos with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites George Boolos more than expected).
Fields of papers citing papers by George Boolos
This network shows the impact of papers produced by George Boolos. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by George Boolos. The network helps show where George Boolos may publish in the future.
Co-authorship network
The 11 scholars most cited alongside George Boolos, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Meaning and Method: Essays in Honor of Hilary Putnam | 2009 | 57 |
| 2 | 2002 | 327 | |
| 3 | 1996 | 11 | |
| 4 | Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. | 1995 | 1 |
| 5 | Computability and logic: 3rd ed. | 1989 | 66 |
| 6 | 1989 | 46 | |
| 7 | 1987 | 33 | |
| 8 | 1987 | 8 | |
| 9 | 1985 | 126 | |
| 10 | 1984 | 209 | |
| 11 | 1984 | 294 | |
| 12 | 1980 | 5 | |
| 13 | 1980 | 21 | |
| 14 | 1979 | 23 | |
| 15 | The Unprovability of Consistency: An Essay in Modal Logic | 1979 | 59 |
| 16 | 1976 | 14 | |
| 17 | 1975 | 1 | |
| 18 | 1971 | 177 | |
| 19 | 1970 | 10 | |
| 20 | Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel | 1968 | 2 |
About George Boolos
George Boolos is a scholar working on Computational Theory and Mathematics, Theoretical Computer Science, Artificial Intelligence, Philosophy and History and Philosophy of Science, having authored 49 papers that have together received 2.2k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (17 papers), Advanced Algebra and Logic (10 papers), Computability, Logic, AI Algorithms (9 papers), Logic, programming, and type systems (6 papers), Philosophy and Theoretical Science (5 papers), Semantic Web and Ontologies (4 papers), Classical Philosophy and Thought (3 papers) and semigroups and automata theory (2 papers). The work is most often cited by research in Theoretical Computer Science (118 citations), History and Philosophy of Science (456 citations), Experimental and Cognitive Psychology (907 citations), Computational Theory and Mathematics (957 citations) and Philosophy (430 citations). George Boolos has collaborated with scholars based in United States and Italy. Frequent co-authors include Richard C. Jeffrey, John P. Burgess, Raymond M. Smullyan, Giovanni Sambin, Hilary Putnam, Vann McGee, Gerhard Jäger, Erwin Engeler, Sergei Artëmov and Solomon Feferman. Their work appears in journals such as Journal of Symbolic Logic, Journal of Philosophical Logic, The Journal of Philosophy, The Philosophical Review and Studia Logica.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.