Johan van Benthem
Orcid: 0000-0002-7048-785XAffiliations:
- University of Amsterdam, Netherlands
According to our database1,
Johan van Benthem
authored at least 146 papers
between 1974 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
1
1
1
3
4
2
3
2
1
3
3
4
1
4
5
6
3
6
4
6
3
2
6
2
1
1
5
3
3
1
2
2
2
1
2
1
2
1
1
3
1
1
1
2
1
1
1
1
3
2
1
2
2
2
1
3
1
1
3
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
2020
Proceedings of the Monotonicity in Logic and Language, 2020
2019
Stud Logica, 2019
2018
J. Log. Comput., 2018
2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2015
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015
2014
2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012
Proceedings of the Advances in Modal Logic 9, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011
2010
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
J. Philos. Log., 2009
Log. Methods Comput. Sci., 2009
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009
2008
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Handbook of Modal Logic., 2007
2006
Proceedings of the Advances in Modal Logic 6, 2006
2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
Open Problems in Logic and Games.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2003
2002
2001
Electron. Notes Discret. Math., 2001
2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
1999
J. Log. Lang. Inf., 1999
The Range of Modal Logic.
J. Appl. Non Class. Logics, 1999
Ann. Pure Appl. Log., 1999
1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
Modality, relational guards, and decidability (invited paper).
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
1996
Exploring logical dynamics.
Studies in logic, language and information, CSLI, ISBN: 978-1-57586-059-6, 1996
1995
1994
1993
Modal Frame Classes Revisited.
Fundam. Informaticae, 1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Logic as programming.
Fundam. Informaticae, 1992
Epistemic Logic: From Knowledge to Cognition.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
1991
Reasoning and Programming: Analogies between Logic and Computation.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition.
Synthese library 156, Kluwer, ISBN: 0792310810, 1991
1990
1989
1988
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
1986
1985
1984
1983
1979
1978
1976
J. Symb. Log., 1976
1975
1974