×

van Benthem, Johan F. A. K.

Author ID: van-benthem.johan Recent zbMATH articles by "van Benthem, Johan F. A. K."
Published as: van Benthem, Johan; van Benthem, J. F. A. K.; Van Benthem, J. F. A. K.; van Benthem, J.; Van Benthem, Johan; Benthem, Johan van
Homepage: https://staff.fnwi.uva.nl/j.vanbenthem/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef · theses.fr
Member of Collective: L. T. F. Gamut
all top 5

Co-Authors

143 single-authored
11 Pacuit, Eric
9 Bezhanishvili, Nick
6 Liu, Fenrong
5 Andréka, Hajnal
5 Doets, Kees
5 Enqvist, Sebastian
5 Németi, István
4 Aiello, Marco
4 Gupta, Amitabha
4 van Eijck, Jan
3 Baltag, Alexandru
3 Bezhanishvili, Guram
3 Gabbay, Dov M.
3 Grossi, Davide
3 Minică, Ştefan
3 ten Cate, Balder David
3 Visser, Henk
2 Ågotnes, Thomas
2 Aucher, Guillaume
2 Buszkowski, Wojciech
2 D’Agostino, Giovanna
2 Dalla Chiara, Maria Luisa
2 Fernández Duque, David
2 Gattinger, Malvin
2 Gerbrandy, Jelle
2 Ghosh, Sujata
2 Günthner, Franz
2 Heinzmann, Gerhard
2 Kooi, Barteld Pieter
2 Löwe, Benedikt
2 Montanari, Angelo
2 Mundici, Daniele
2 Policriti, Alberto
2 Rebuschi, Manuel
2 Roy, Olivier
2 Sarenac, Darko
2 Su, Kaile
2 ter Meulen, Alice G. B.
2 Westerståhl, Dag
1 Alechina, Natasha
1 Åqvist, Lennart
1 Bargelli, Daniele
1 Barker-Plummer, Dave
1 Barr, Michael
1 Barwise, Kenneth Jon
1 Beaver, David I.
1 Bergstra, Jan A.
1 Blackburn, Patrick
1 Blok, Willem Johannes
1 Boensvang, Henrik
1 Bold, Stefan
1 Bonnay, Denis
1 Bull, Robert A.
1 Burgess, John P.
1 Casadio, Claudia
1 Cocchiarella, Nino B.
1 de Groote, Philippe
1 de Jongh, Dick H. J.
1 de Rijke, Maarten
1 Dégremont, Cédric
1 di Luzio, Patrick Scotto
1 Fadda, Mario
1 Fenstad, Jens Erik
1 Garson, James W.
1 Gehrke, Mai
1 Gheerbrant, Amélie
1 Gillon, Brendan S.
1 Girard, Patrick R.
1 Halvorsen, Per-Kristian
1 Harrah, David
1 Hazen, A.
1 Hendricks, Vincent F.
1 Hodges, Wilfrid
1 Hodkinson, Ian Martin
1 Holliday, Wesley H.
1 Hoshi, Tomohiro
1 Humberstone, I. L.
1 Icard, Thomas F. III
1 Ikegami, Daisuke
1 Ju, Shier
1 Kandulski, Maciej
1 Keenan, Edward L.
1 Koudijs, Raoul
1 Kuipers, Theo A. F.
1 Lambek, Joachim
1 Langholm, Tore
1 Leblanc, Hugues
1 Lecomte, Alain
1 Li, Dazhu
1 Marciszewski, Witold
1 Meulen, Aliceter
1 Mierzewski, Krzysztof
1 Moortgat, Michael
1 Morrill, Glyn V.
1 Nute, D.
1 Ó Nualláin, Breanndán
1 Oehrle, Richard T.
1 Parikh, Rohit
1 Pentus, Mati
1 Pratt-Hartmann, Ian
...and 22 more Co-Authors
all top 5

Serials

19 Studia Logica
13 Journal of Philosophical Logic
9 Synthese
8 Journal of Logic and Computation
8 Synthese Library
7 The Journal of Symbolic Logic
7 Journal of Logic, Language and Information
6 Journal of Applied Non-Classical Logics
4 Notre Dame Journal of Formal Logic
4 Theoria
4 Logic Journal of the IGPL
4 Studies in Logic (London)
3 Logique et Analyse. Nouvelle Série
3 CSLI Lecture Notes
2 Linguistics and Philosophy
2 Theoretical Linguistics
2 Annales Societatis Mathematicae Polonae. Series IV
2 Annals of Pure and Applied Logic
2 Information and Computation
2 Nieuw Archief voor Wiskunde. Derde Serie
2 International Game Theory Review
2 Nieuw Archief voor Wiskunde. Vijfde Serie
2 Groningen-Amsterdam Studies in Semantics (GRASS)
2 Studies in Linguistics and Philosophy
2 Logic, Epistemology, and the Unity of Science
2 The Review of Symbolic Logic
1 Artificial Intelligence
1 Algebra Universalis
1 Fundamenta Mathematicae
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Indagationes Mathematicae. New Series
1 The Bulletin of Symbolic Logic
1 Journal of the IGPL
1 Fundamenta Informaticae
1 Analysis
1 The Australasian Journal of Logic
1 Bulletin of the Section of Logic
1 Indices. Monographs in Philosophical Logic and Formal Linguistics
1 Lecture Notes in Computer Science
1 Studies in Logic and the Foundations of Mathematics
1 Studies in Logic and Practical Reasoning
1 Texts in Computing
1 Logica Universalis
1 Logical Methods in Computer Science
1 Bulletin of Economic Research
1 Texts in Logic and Games
1 Games
1 Springer Graduate Texts in Philosophy

Publications by Year

Citations contained in zbMATH Open

188 Publications have been cited 3,018 times in 1,775 Documents Cited by Year
Handbook of modal logic. Zbl 1114.03001
206
2007
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
140
2007
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
134
1998
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
132
2006
Logical dynamics of information and interaction. Zbl 1251.03003
van Benthem, Johan
120
2011
Handbook of spatial logics. Zbl 1172.03001
104
2007
Modal logic and classical logic. Zbl 0639.03014
van Benthem, Johan
91
1985
Correspondence theory. Zbl 0875.03048
van Benthem, Johan
86
1984
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
77
2007
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
75
2009
Exploring logical dynamics. Zbl 0873.03001
van Benthem, Johan
73
1996
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
69
1991
Handbook of logic and language. Zbl 0874.03001
61
1997
Essays in logical semantics. Zbl 0619.03021
van Benthem, Johan
58
1986
Games in dynamic-epistemic logic. Zbl 1230.03046
van Benthem, Johan
57
2001
Logic in games. Zbl 1291.03003
van Benthem, Johan
55
2014
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
48
2009
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
43
2011
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
41
2003
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Zbl 0508.03008
van Benthem, J. F. A. K.
41
1983
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. 2. rev. ed. Zbl 0758.03012
van Benthem, Johan
40
1991
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
34
2005
Handbook of philosophical logic. Volume II: Extensions of classical logic. Zbl 0572.03003
32
1984
What one may come to know. Zbl 1073.03004
van Benthem, Johan
31
2004
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
31
2006
Language in action. Zbl 0743.03018
van Benthem, Johan
30
1991
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
30
2002
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
29
2001
Determiners and logic. Zbl 0535.03010
van Benthem, Johan
28
1983
Questions about quantifiers. Zbl 0573.03008
van Benthem, Johan
27
1984
The tree of knowledge in action: towards a common perspective. Zbl 1148.03009
van Benthem, Johan; Pacuit, Eric
26
2006
Semantic parallels in natural language and computation. Zbl 0694.03022
van Benthem, Johan
24
1989
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
24
2006
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
22
2009
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
21
2007
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
20
2010
Higher-order logic. Zbl 0875.03036
van Benthem, Johan; Doets, Kees
19
1983
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
19
2006
Logic and reasoning: do the facts matter? Zbl 1149.03010
van Benthem, Johan
18
2008
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
17
2012
The semantics of variety in categorial grammar. Zbl 0695.03015
van Benthem, Johan
15
1988
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
15
2014
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
15
2011
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
14
2018
Two simple incomplete modal logics. Zbl 0405.03010
van Benthem, J. F. A. K.
14
1978
Polyadic quantifiers. Zbl 0684.03008
van Benthem, Johan
14
1989
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
14
2005
Toward a dynamic logic of questions. Zbl 1196.03027
van Benthem, Johan; Minică, Ştefan
14
2009
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
13
2005
Canonical modal logics and ultrafilter extensions. Zbl 0405.03011
van Benthem, J. F. A. K.
13
1979
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
13
2017
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
13
2002
Categorial grammar. Zbl 0691.00002
12
1988
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
12
1995
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
12
2003
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
12
2003
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
12
1999
Modelling simultaneous games in dynamic logic. Zbl 1169.03021
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong
12
2008
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
12
2010
Reflections on epistemic logic. Zbl 0814.03002
van Benthem, Johan
11
1991
Logical constants across varying types. Zbl 0694.03023
van Benthem, Johan
11
1989
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
11
2008
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
11
2008
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
10
1995
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
10
2000
Notes on modal definability. Zbl 0671.03013
van Benthem, Johan
10
1989
Evidence logic: a new look at neighborhood structures. Zbl 1291.03027
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
10
2012
The information in intuitionistic logic. Zbl 1172.03312
van Benthem, Johan
10
2009
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
9
2014
A manual of intensional logic. 2nd ed., revised and expanded. Zbl 0678.03010
van Benthem, Johan
9
1988
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
9
2017
Partiality and nonmonotonicity in classical logic. Zbl 0624.03022
van Benthem, Johan
9
1986
Ramsey eliminability. Zbl 0402.03014
van Benthem, J. F. A. K.
9
1978
Some kinds of modal completeness. Zbl 0459.03008
Van Benthem, J. F. A. K.
9
1980
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
9
2012
Lindström theorems for fragments of first-order logic. Zbl 1168.03017
van Benthem, Johan; ten Cate, Balder; Väänänen, Jouko
9
2009
The logical study of science. Zbl 0486.03007
Van Benthem, Johan
9
1982
A simple logic of functional dependence. Zbl 07420139
Baltag, Alexandru; van Benthem, Johan
9
2021
General dynamics. Zbl 0743.03019
van Benthem, Johan
8
1991
Logic games are complete for game logics. Zbl 1040.03015
van Benthem, Johan
8
2003
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
8
2007
Foundations of conditional logic. Zbl 0544.03011
van Benthem, Johan
8
1984
Bridges between dynamic doxastic and doxastic temporal logics. Zbl 1287.03042
van Benthem, Johan; Dégremont, Cédric
8
2010
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
8
2004
Handbook of philosophical logic. Vol. I: Elements of classical logic. Zbl 0538.03001
8
1983
Modal reduction principles. Zbl 0337.02014
Van Benthem, J. F. A. K.
7
1976
Modal logic as a theory of information. Zbl 0914.03003
van Benthem, Johan
7
1996
Minimal deontic logics. Zbl 0408.03016
van Benthem, J. F. A. K.
7
1979
Modal foundations for predicate logic. Zbl 0949.03517
van Benthem, Johan
7
1997
Transitivity follows from Dummett’s axiom. Zbl 0422.03004
van Benthem, J. F. A. K.; Blok, W. J.
7
1978
Rational dynamics and epistemic logic in games. Zbl 1139.91313
van Benthem, Johan
7
2007
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
7
2010
Sabotage modal logic: some model and proof theoretic aspects. Zbl 1471.03040
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
6
2015
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
6
2015
Logic and the flow of information. Zbl 0831.03011
van Benthem, Johan
6
1994
A note on modal formulae and relational properties. Zbl 0308.02024
Van Benthem, J. F. A. K.
6
1975
Modal formulas are either elementary or not \(\Sigma\Delta\)-elementary. Zbl 0337.02015
Van Benthem, J. F. A. K.
6
1976
Higher-order logic. 2nd ed. Zbl 1003.03513
van Benthem, Johan; Doets, Kees
6
2001
Modality, bisimulation and interpolation in infinitary logic. Zbl 0923.03048
van Benthem, Johan
6
1999
Program constructions that are safe for bisimulation. Zbl 0958.68104
van Benthem, Johan
6
1998
The modal logic of stepwise removal. Zbl 1529.03156
van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca
3
2022
A simple logic of functional dependence. Zbl 07420139
Baltag, Alexandru; van Benthem, Johan
9
2021
Implicit and explicit stances in logic. Zbl 1457.03035
van Benthem, Johan
4
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 1531.03049
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
4
2019
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
4
2019
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
14
2018
Symbolic model checking for dynamic epistemic logic – S5 and beyond. Zbl 1410.68242
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
5
2018
Constructive agents. Zbl 1436.03117
van Benthem, Johan
2
2018
Deontic logic and changing preferences. Zbl 1445.03016
van Benthem, Johan; Liu, Fenrong
1
2018
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
13
2017
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
9
2017
A propositional dynamic logic for instantial neighborhood models. Zbl 1495.03052
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
5
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
2
2017
Talking about knowledge. Zbl 1437.03075
van Benthem, Johan
1
2017
A new game equivalence and its modal logic. Zbl 1483.03017
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
1
2017
Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Zbl 1348.03005
2
2016
Tracking information. Zbl 1439.03042
van Benthem, Johan
2
2016
Tales from an old manuscript. Zbl 1418.03031
van Benthem, Johan
1
2016
Sabotage modal logic: some model and proof theoretic aspects. Zbl 1471.03040
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
6
2015
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
6
2015
Symbolic model checking for dynamic epistemic logic. Zbl 1410.68241
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
5
2015
Oscillations, logic, and dynamical systems. Zbl 1406.03048
van Benthem, Johan
5
2015
Logic in games. Zbl 1291.03003
van Benthem, Johan
55
2014
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
15
2014
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
9
2014
Two logical faces of belief revision. Zbl 1347.03026
van Benthem, Johan
5
2014
Connecting logics of choice and change. Zbl 1287.03056
van Benthem, Johan; Pacuit, Eric
3
2014
Reasoning about strategies. Zbl 1264.03052
van Benthem, Johan
3
2013
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
17
2012
Evidence logic: a new look at neighborhood structures. Zbl 1291.03027
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
10
2012
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
9
2012
The logic of empirical theories revisited. Zbl 1275.03076
van Benthem, Johan
5
2012
Crs and guarded logics: a fruitful contact. Zbl 1284.03155
van Benthem, Johan
2
2012
Logical dynamics of information and interaction. Zbl 1251.03003
van Benthem, Johan
120
2011
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
43
2011
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
15
2011
McCarthy variations in a modal key. Zbl 1216.68278
van Benthem, Johan
6
2011
Handbook of logic and language. 2nd ed. Zbl 1204.03001
5
2011
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
5
2011
Logical dynamics of evidence. Zbl 1298.68261
van Benthem, Johan; Pacuit, Eric
2
2011
Logic games: from tools to models of interaction. Zbl 1319.03046
van Benthem, Johan
2
2011
Logic and philosophy today. Volume 1. Zbl 1255.03015
1
2011
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
20
2010
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
12
2010
Bridges between dynamic doxastic and doxastic temporal logics. Zbl 1287.03042
van Benthem, Johan; Dégremont, Cédric
8
2010
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
7
2010
Frame correspondences in modal predicate logic. Zbl 1244.03077
van Benthem, Johan
5
2010
Logic, mathematics, and general agency. Zbl 1261.03059
van Benthem, Johan
2
2010
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
75
2009
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
48
2009
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
22
2009
Toward a dynamic logic of questions. Zbl 1196.03027
van Benthem, Johan; Minică, Ştefan
14
2009
The information in intuitionistic logic. Zbl 1172.03312
van Benthem, Johan
10
2009
Lindström theorems for fragments of first-order logic. Zbl 1168.03017
van Benthem, Johan; ten Cate, Balder; Väänänen, Jouko
9
2009
Decisions, actions, and games: A logical perspective. Zbl 1209.03009
van Benthem, Johan
3
2009
The age of alternative logics. Assessing philosophy of logic and mathematics today. 2nd printing. Zbl 1176.03002
1
2009
Logic and reasoning: do the facts matter? Zbl 1149.03010
van Benthem, Johan
18
2008
Modelling simultaneous games in dynamic logic. Zbl 1169.03021
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong
12
2008
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
11
2008
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
11
2008
‘Games that make sense’: logic, language, and multi-agent interaction. Zbl 1377.03018
van Benthem, Johan
5
2008
Modal fixed-point logic and changing models. Zbl 1133.03325
van Benthem, Johan; Ikegami, Daisuke
5
2008
Natural logic: a view from the 1980s. Zbl 1268.03005
van Benthem, Johan
5
2008
Modal logic and invariance. Zbl 1181.03020
van Benthem, Johan; Bonnay, Denis
3
2008
Computation as conversation. Zbl 1145.03016
van Benthem, Johan
1
2008
Man muss immer umkehren! Zbl 1229.03022
van Benthem, Johan
1
2008
Handbook of modal logic. Zbl 1114.03001
206
2007
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
140
2007
Handbook of spatial logics. Zbl 1172.03001
104
2007
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
77
2007
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
21
2007
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
8
2007
Rational dynamics and epistemic logic in games. Zbl 1139.91313
van Benthem, Johan
7
2007
Inference in action. Zbl 1224.03004
van Benthem, Johan
2
2007
A meeting of the minds: Proceedings of the workshop on logic, rationality and interaction, Beijing, 2007. Zbl 1191.03004
2
2007
Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26–29, 2004. Zbl 1136.03002
1
2007
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
132
2006
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
31
2006
The tree of knowledge in action: towards a common perspective. Zbl 1148.03009
van Benthem, Johan; Pacuit, Eric
26
2006
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
24
2006
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
19
2006
The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Zbl 1110.03002
1
2006
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
34
2005
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
14
2005
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
13
2005
Guards, bounds, and generalized semantics. Zbl 1080.03003
van Benthem, Johan
5
2005
Open problems in logic and games. Zbl 1279.03059
van Benthem, Johan
5
2005
What one may come to know. Zbl 1073.03004
van Benthem, Johan
31
2004
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
8
2004
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
41
2003
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
12
2003
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
12
2003
Logic games are complete for game logics. Zbl 1040.03015
van Benthem, Johan
8
2003
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
30
2002
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
13
2002
Modal logic. Zbl 1064.03013
van Benthem, Johan
3
2002
Logical patterns in space. Models, simulations, and games. Zbl 1087.03505
Aiello, Marco; van Benthem, Johan
2
2002
Games in dynamic-epistemic logic. Zbl 1230.03046
van Benthem, Johan
57
2001
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
29
2001
Higher-order logic. 2nd ed. Zbl 1003.03513
van Benthem, Johan; Doets, Kees
6
2001
...and 88 more Documents
all top 5

Cited by 1,605 Authors

70 van Benthem, Johan F. A. K.
47 van Ditmarsch, Hans Pieter
31 Baltag, Alexandru
31 Smets, Sonja J. L.
25 Bezhanishvili, Nick
25 Wang, Yanjing
22 Areces, Carlos
22 Lorini, Emiliano
20 Bezhanishvili, Guram
18 Pacuit, Eric
18 Velázquez-Quesada, Fernando Raymundo
15 Rybakov, Vladimir Vladimirovich
15 van der Hoek, Wiebe
14 Ågotnes, Thomas
14 Bloch, Isabelle
14 Goranko, Valentin F.
14 Herzig, Andreas
14 Ma, Minghui
13 Kooi, Barteld Pieter
13 ten Cate, Balder David
12 Demri, Stéphane P.
12 Fervari, Raul
12 Gabbay, Dov M.
12 Hodkinson, Ian Martin
12 Özgün, Aybüke
12 Venema, Yde
12 Wolter, Frank
11 Andréka, Hajnal
11 Balbiani, Philippe
11 Buszkowski, Wojciech
11 Conradie, Willem
11 Ghosh, Sujata
11 Gierasimczuk, Nina
11 Németi, István
10 Blackburn, Patrick
10 Liu, Fenrong
10 Marx, Maarten
10 Otto, Martin
10 Palmigiano, Alessandra
10 Sano, Katsuhiko
10 Verbrugge, Rineke
9 Düntsch, Ivo
9 Humberstone, Lloyd
9 Nguyen, Linh Anh
9 Pentus, Mati
9 Ramanujam, R.
9 Roy, Olivier
9 Schwarzentruber, François
9 Sciavicco, Guido
9 Vakarelov, Dimiter
9 van Eijck, Jan
9 Westerståhl, Dag
9 Wooldridge, Michael J.
8 Aucher, Guillaume
8 Badia, Guillermo
8 Benevides, Mario R. F.
8 Fan, Jie
8 Gabelaia, David
8 Gottlob, Georg
8 Grossi, Davide
8 Heinemann, Bernhard
8 Naumov, Pavel G.
8 Orłowska, Ewa S.
8 Rendsvig, Rasmus Kræmmer
8 Szymanik, Jakub
8 Wansing, Heinrich Theodor
8 Zakharyaschev, Michael Viktorovich
7 Alechina, Natasha
7 de Rijke, Maarten
7 Enqvist, Sebastian
7 Fernández Duque, David
7 Girard, Patrick R.
7 Hoshi, Tomohiro
7 Icard, Thomas F. III
7 Kuijer, Louwe Bouke
7 Lucero-Bryan, Joel Gregory
7 Pieris, Andreas
7 Sack, Joshua
7 Seligman, Jeremy M.
7 Szałas, Andrzej
6 Bjorndahl, Adam
6 Bolander, Thomas
6 Bonanno, Giacomo
6 Ciardelli, Ivano A.
6 Demey, Lorenz
6 Foret, Annie
6 Goldblatt, Robert Ian
6 Grädel, Erich
6 Holliday, Wesley H.
6 Kieroński, Emanuel
6 Kremer, Philip
6 Litak, Tadeusz
6 Manzano, María
6 Montanari, Angelo
6 Moss, Lawrence S.
6 Proietti, Carlo
6 Renne, Bryan
6 Sandu, Gabriel
6 Sayed Ahmed, Tarek
6 Sedlár, Igor
...and 1,505 more Authors
all top 5

Cited in 125 Serials

137 Studia Logica
115 Journal of Philosophical Logic
113 Synthese
100 Journal of Logic, Language and Information
71 Annals of Pure and Applied Logic
62 Artificial Intelligence
62 Journal of Applied Non-Classical Logics
56 The Review of Symbolic Logic
55 The Journal of Symbolic Logic
51 Theoretical Computer Science
36 Journal of Applied Logic
32 Information and Computation
27 Notre Dame Journal of Formal Logic
24 Journal of Logical and Algebraic Methods in Programming
22 International Journal of Approximate Reasoning
22 Annals of Mathematics and Artificial Intelligence
21 Logical Methods in Computer Science
17 Logic and Logical Philosophy
16 Logica Universalis
14 ACM Transactions on Computational Logic
13 Fuzzy Sets and Systems
13 Information Sciences
13 Journal of Automated Reasoning
13 The Bulletin of Symbolic Logic
12 Archive for Mathematical Logic
10 Algebra Universalis
9 Information Processing Letters
9 Linguistics and Philosophy
9 Mathematical Logic Quarterly (MLQ)
9 Erkenntnis
7 MSCS. Mathematical Structures in Computer Science
7 Theory and Practice of Logic Programming
6 Journal of Computer and System Sciences
6 Formal Aspects of Computing
5 Bulletin of the Section of Logic
5 History and Philosophy of Logic
5 International Game Theory Review
5 Games
5 Logicheskie Issledovaniya
4 Journal of Mathematical Sciences (New York)
4 The Journal of Artificial Intelligence Research (JAIR)
4 Foundations of Science
3 International Journal of Theoretical Physics
3 Algebra and Logic
3 Theory and Decision
3 Topology and its Applications
3 Order
3 Journal of Symbolic Computation
3 Games and Economic Behavior
3 Topoi
3 Soft Computing
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Proceedings of the Steklov Institute of Mathematics
3 Frontiers of Computer Science
3 Journal of Siberian Federal University. Mathematics & Physics
2 Discrete Applied Mathematics
2 Israel Journal of Mathematics
2 Applied Mathematics and Computation
2 Siberian Mathematical Journal
2 Science of Computer Programming
2 Mathematical and Computer Modelling
2 International Journal of Foundations of Computer Science
2 RAIRO. Informatique Théorique et Applications
2 Indagationes Mathematicae. New Series
2 Formal Methods in System Design
2 Theory of Computing Systems
2 Foundations of Physics
1 Acta Informatica
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Computers & Mathematics with Applications
1 Mathematical Notes
1 Advances in Mathematics
1 Automatica
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Algebra
1 Journal of Mathematical Psychology
1 Journal of Pure and Applied Algebra
1 Kybernetika
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 SIAM Journal on Computing
1 Transactions of the American Mathematical Society
1 Mathematical Social Sciences
1 Operations Research Letters
1 Acta Mathematica Hungarica
1 Social Choice and Welfare
1 New Generation Computing
1 Algorithmica
1 International Journal of Parallel Programming
1 International Journal of Intelligent Systems
1 Neural Computation
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Mathematical Imaging and Vision
1 Diagrammes
1 Journal of the Egyptian Mathematical Society
1 Advances in Applied Clifford Algebras
1 Filomat
1 Nonlinear Dynamics
1 Journal of the ACM
...and 25 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.