Name
Papers
Collaborators
JOHAN VAN BENTHEM
110
66
Citations 
PageRank 
Referers 
1181
107.83
882
Referees 
References 
515
724
Search Limit
100882
Title
Citations
PageRank
Year
THE MODAL LOGIC OF STEPWISE REMOVAL00.342022
A Simple Logic Of Functional Dependence00.342021
New Logical Perspectives on Monotonicity.00.342020
A Propositional Dynamic Logic for Instantial Neighborhood Semantics10.362019
Implicit and Explicit Stances in Logic00.342019
A New Game Equivalence, its Logic and Algebra10.362019
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.00.342018
Modal logics of sabotage revisited.10.362018
A Propositional Dynamic Logic For Instantial Neighborhood Models00.342017
A bimodal perspective on possibility semantics.30.502017
A New Game Equivalence And Its Modal Logic00.342017
An Old Discipline with a New Twist: The Course "Logic in Action".00.342017
Instantial Neighbourhood Logic.20.412017
Against All Odds: When Logic Meets Probability.00.342017
Computing rational beliefs under limited foresight.00.342015
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.20.382015
Symbolic Model Checking for Dynamic Epistemic Logic.90.552015
Natural Language and Logic of Agency00.342014
Deontic Logic And Preference Change00.342014
Reasoning about Strategies.20.392013
Evidence and plausibility in neighborhood structures.20.442013
The Nets Of Reason00.342012
Toward a Dynamic Logic of Questions131.192012
The logic of empirical theories revisited.00.342012
Foundational Issues in Logical Dynamics.00.342012
New logical perspectives on physics.00.342012
Evidence Logic: A New Look at Neighborhood Structures.50.602012
McCarthy variations in a modal key20.402011
Dynamic Logics of Evidence-Based Beliefs392.262011
Logical dynamics of evidence00.342011
Toward a Theory of Play: A Logical Perspective on Games and Interaction.110.742011
Obituaries: John McCarthy.00.342011
Exploring a theory of play00.342011
Game Solution, Epistemic Dynamics and Fixed-Point Logics140.822010
Logic between expressivity and complexity00.342010
The dynamics of awareness.161.002010
Deontics = betterness + priority50.512010
Lindström theorems for fragments of first-order logic00.342009
Lindström theorems for fragments of first-order logic10.392009
Dynamic Update with Probabilities241.242009
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.462.782009
The information in intuitionistic logic90.922009
Logic and intelligent interaction10.372009
Modal fixed-point logic and changing models50.602008
Modelling simultaneous games in dynamic logic120.682008
The many faces of interpolation60.502008
Bridges between dynamic doxastic and doxastic temporal logics20.402008
Logic and Reasoning: do the facts matter?131.112008
Lindstrom theorems for fragments of first-order logic30.492007
Dynamic logic for belief revision1396.982007
  • 1
  • 2