George Boolos
Impact in
- Theoretical Computer Science top 0.5%
- History and Philosophy of Science top 0.2%
- Philosophy and History of Science
Papers in
-
- Advanced Algebra and Logic 10
- Computability, Logic, AI Algorithms 9
-
- Logic, Reasoning, and Knowledge 17
- Logic, programming, and type systems 6
- Semantic Web and Ontologies 4
- Co-authors
- Richard C. Jeffrey (3 shared papers)John P. Burgess (2 shared papers)Raymond M. Smullyan (2 shared papers)Giovanni Sambin (2 shared papers)Hilary Putnam (1 shared paper)Vann McGee (1 shared paper)Erwin Engeler (1 shared paper)Sergei Artëmov (1 shared paper)
- Journals
- Journal of Symbolic Logic (11 papers)Journal of Philosophical Logic (5 papers)The Journal of Philosophy (3 papers)The Philosophical Review (3 papers)Studia Logica (2 papers)
- Partner nations
- United StatesItaly
In The Last Decade
George Boolos
48 papers receiving 1.9k citations
Peers
Comparison fields: 5 of 85
- Theoretical Computer Science 119
- History and Philosophy of Science 467
- Experimental and Cognitive Psychology 922
- Computational Theory and Mathematics 977
- Philosophy 436
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-authors
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
Showing the 20 most-cited of 49 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2002 | 328 | |
| 2 | 1984 | 296 | |
| 3 | 1984 | 212 | |
| 4 | 1971 | 178 | |
| 5 | 1988 | 149 | |
| 6 | 2000 | 129 | |
| 7 | 1985 | 126 | |
| 8 | 2007 | 105 | |
| 9 | 1975 | 75 | |
| 10 | Computability and logic: 3rd ed. | 1989 | 66 |
| 11 | The Unprovability of Consistency: An Essay in Modal Logic | 1979 | 59 |
| 12 | Meaning and Method: Essays in Honor of Hilary Putnam | 2009 | 58 |
| 13 | 1989 | 47 | |
| 14 | 1984 | 34 | |
| 15 | 1987 | 33 | |
| 16 | 1980 | 28 | |
| 17 | 1985 | 28 | |
| 18 | 1969 | 26 | |
| 19 | 1979 | 24 | |
| 20 | 1980 | 22 |
About George Boolos
George Boolos is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Experimental and Cognitive Psychology, Philosophy and History and Philosophy of Science, having authored 49 papers that have together received 2.3k 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 Philosophy and History of Science (2 papers). The work is most often cited by research in Theoretical Computer Science (119 citations), History and Philosophy of Science (467 citations), Experimental and Cognitive Psychology (922 citations), Computational Theory and Mathematics (977 citations) and Philosophy (436 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, Erwin Engeler, Sergei Artëmov, Albert Visser 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.