Johan van Benthem

127 papers and 2.7k indexed citations i.

About

Johan van Benthem has authored 127 papers that have received a total of 2.7k indexed citations. This includes 93 papers in Artificial Intelligence, 53 papers in Computational Theory and Mathematics and 8 papers in Philosophy. The topics of these papers are Logic, Reasoning, and Knowledge (87 papers), Logic, programming, and type systems (40 papers) and Advanced Algebra and Logic (37 papers). Johan van Benthem is often cited by papers focused on Logic, Reasoning, and Knowledge (87 papers), Logic, programming, and type systems (40 papers) and Advanced Algebra and Logic (37 papers) and collaborates with scholars based in The Netherlands, United States and China. Johan van Benthem's co-authors include Nick Bezhanishvili, Eric Pacuit, Fenrong Liu, Jan van Eijck and Barteld Kooi and has published in prestigious journals such as Language, Artificial Intelligence and The Philosophical Review

In The Last Decade

Rankless by CCL
2025