Johan van Benthem

University of AmsterdamNetherlands

Computer Science · Physical Sciences

55h-index11.2kcitations429works1.82yr avg

Accepting Students?

No reports yet. Know if this professor is taking students?


Research Topics

Logic, Reasoning, and Knowledge(255), Advanced Algebra and Logic(112), Semantic Web and Ontologies(86), Logic, programming, and type systems(83), Multi-Agent Systems and Negotiation(65)

Publications427 total

Lecture notes in computer science·2025
Outstanding contributions to logic·2024· 3 cited
Outstanding contributions to logic·2024· 7 cited
Ratio·2023Open Access
Journal of Logic and Computation·2023· 3 citedOpen Access
Outstanding contributions to logic·2023· 1 cited
Outstanding contributions to logic·2023· 3 citedOpen Access
Logic Journal of IGPL·2022Open Access
arXiv (Cornell University)·2022Open Access
arXiv (Cornell University)·2022Open Access
Journal of Logic and Computation·2022· 7 cited
The MIT Press eBooks·2021· 4 cited
Journal of Philosophical Logic·2021· 33 citedOpen Access
Outstanding contributions to logic·2021· 1 citedOpen Access
Logic in Asia: Studia logica library·2020· 16 citedOpen Access
Lecture notes in computer science·2020· 4 cited
Data Archiving and Networked Services (DANS)·2019· 7 citedOpen Access
page 1 of 22Next →

Frequent Co-authors

Eric Pacuit(4), Jelle Gerbrandy(3), Kees Doets(3), Patrick Blackburn(2), María Luisa Dalla Chiara(2), Daniele Mundici(2), Hajnal Andréka(1), István Németi(1), Frank Wolter(1), Edward L. Keenan(1), Leonard M. Faltz(1), Fenrong Liu(1), Renate Bartsch(1), P. van Emde Boas(1), Tomohiro Hoshi(1), Patrick Girard(1), Olivier Roy(1), Guram Bezhanishvili(1), Jens Erik Fenstad(1), Per‐Kristian Halvorsen(1)