Johan van Benthem - Concepedia

Author

Johan van Benthem

Also Known As

Benthem, J. van, Benthem, J.F.A.K., Benthem, Johan, Benthem, Johan van 1949-, J van Benthem, J. Benthem, J. Van Benthem, J. van Benthem, J.F.A.K. van Benthem, JOHAN BENTHEM

429

Publications

11.2K

Citations

H-Index

119

Concepts

All Affiliations

University of Amsterdam Stanford University Tsinghua University University of Groningen Rijksmuseum

About

Johan van Benthem is an author at University of Amsterdam specializing in automated reasoning, engineering, and semantics.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	26	41	3.2K
2	Language Studies	19	27	1.8K
3	Business	7	7	472
4	Arts	4	4	225
5	Education	3	3	162

Johan van Benthem

102

Publications

6.3K

Citations

H-Index

Page 1

	Year	Citations
Modal Languages and Bounded Fragments of Predicate Logic Hajnal Andréka, István Németi, Johan van Benthem Journal of Philosophical Logic SyntaxEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1998	593
Handbook of Modal Logic Patrick Blackburn, Johan van Benthem, Frank Wolter HAL (Le Centre pour la Communication Scientifique Directe) EngineeringAutomated ReasoningPropositional LogicClassical LogicFormal Methods	2007	424
Dynamic logic for belief revision Johan van Benthem Journal of Applied Non-Classical Logics EngineeringDynamic Epistemic LogicAutomated ReasoningModal LogicVerification	2007	391
Boolean Semantics for Natural Language Johan van Benthem, Edward L. Keenan, Leonard M. Faltz Language EngineeringBusiness IntelligenceSemanticsSemantic WebCorpus Linguistics	1986	281
Dynamic logic of preference upgrade Johan van Benthem, Fenrong Liu	2008	260
Games in Dynamic‐Epistemic Logic Johan van Benthem Bulletin of Economic Research Dynamic‐epistemic LogicGame TheoryGame SemanticsEpistemic LogicSemantics	2001	184
Questions about quantifiers Johan van Benthem Journal of Symbolic Logic Formal SemanticsFormal LogicPhilosophy Of LanguageSyntaxRelevance Logic	1984	179
Merging Frameworks for Interaction Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Journal of Philosophical Logic Architectural DesignEngineeringSoftware FrameworkDesignSystems Engineering	2009	172
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences Johan van Benthem, Patrick Girard, Olivier Roy Journal of Philosophical Logic EngineeringComparative LiteratureDynamic Epistemic LogicSubstructural LogicAutomated Reasoning	2008	156
Dynamic Update with Probabilities Johan van Benthem, Jelle Gerbrandy, Barteld Kooi Studia Logica Dynamic UpdateProbability LogicObservation ProbabilitiesEngineeringCompleteness Proof	2009	121

Page 1