Solomon Feferman

79 papers and 3.6k indexed citations i.

About

Solomon Feferman has authored 79 papers that have received a total of 3.6k indexed citations. This includes 44 papers in Computational Theory and Mathematics, 38 papers in Artificial Intelligence and 16 papers in Theoretical Computer Science. The topics of these papers are Logic, Reasoning, and Knowledge (33 papers), Computability, Logic, AI Algorithms (25 papers) and Logic, programming, and type systems (18 papers). Solomon Feferman is often cited by papers focused on Logic, Reasoning, and Knowledge (33 papers), Computability, Logic, AI Algorithms (25 papers) and Logic, programming, and type systems (18 papers) and collaborates with scholars based in United States, Switzerland and Germany. Solomon Feferman's co-authors include Alfred Tarski, Jody Azzouni, Robert M Solovay, Gregory Moore and S. Barry Cooper and has published in prestigious journals such as Lecture notes in mathematics, Transactions of the American Mathematical Society and American Mathematical Monthly

In The Last Decade

Rankless by CCL
2025