×

zbMATH — the first resource for mathematics

van Benthem, Johan F. A. K.

Compute Distance To:
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
Documents Indexed: 226 Publications since 1973, including 34 Books
Reviewing Activity: 1 Review
Biographic References: 2 Publications
all top 5

Co-Authors

141 single-authored
11 Pacuit, Eric
7 Bezhanishvili, Nick
5 Liu, Fenrong
4 Aiello, Marco
4 Andréka, Hajnal
4 Doets, Kees
4 Enqvist, Sebastian
4 Gupta, Amitabha
4 Németi, István
4 van Eijck, Jan
3 Bezhanishvili, Guram
3 Grossi, Davide
3 Minică, Ştefan
3 Visser, Henk
2 Ågotnes, Thomas
2 Aucher, Guillaume
2 D’Agostino, Giovanna
2 Dalla Chiara, Maria Luisa
2 Fernández Duque, David
2 Gattinger, Malvin
2 Gerbrandy, Jelle
2 Ghosh, Sujata
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 ten Cate, Balder David
2 ter Meulen, Alice G. B.
1 Alechina, Natasha
1 Barker-Plummer, Dave
1 Barwise, Kenneth Jon
1 Beaver, David I.
1 Bergstra, Jan A.
1 Blackburn, Patrick
1 Bold, Stefan
1 Bonnay, Denis
1 Buszkowski, Wojciech
1 de Jongh, Dick H. J.
1 de Rijke, Maarten
1 Dégremont, Cédric
1 di Luzio, Patrick Scotto
1 Fenstad, Jens Erik
1 Gabbay, Dov M.
1 Gehrke, Mai
1 Gheerbrant, Amélie
1 Girard, Patrick R.
1 Halvorsen, Per-Kristian
1 Hendricks, Vincent F.
1 Hodkinson, Ian Martin
1 Holliday, Wesley H.
1 Hoshi, Tomohiro
1 Humberstone, I. L.
1 Ikegami, Daisuke
1 Ju, Shier
1 Kuipers, Theo A. F.
1 Langholm, Tore
1 Marciszewski, Witold
1 Meulen, Aliceter
1 Ó Nualláin, Breanndán
1 Parikh, Rohit
1 Pratt-Hartmann, Ian
1 Räsch, Thoralf
1 Shoham, Yoav
1 Stebletsova, Vera
1 Väänänen, Jouko Antero
1 van Ditmarsch, Hans Pieter
1 van Emde Boas, Peter
1 Velázquez-Quesada, Fernando Raymundo
1 Veltman, Frank
1 Verbrugge, Rineke
1 Westerståhl, Dag
1 Wolter, Frank
1 Yu, Junhua

Publications by Year

Citations contained in zbMATH Open

167 Publications have been cited 1,966 times in 1,196 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
98
2007
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
96
2006
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
89
1998
Logical dynamics of information and interaction. Zbl 1251.03003
van Benthem, Johan
76
2011
Modal logic and classical logic. Zbl 0639.03014
van Benthem, Johan
71
1985
Correspondence theory. Zbl 0875.03048
van Benthem, Johan
65
1984
Exploring logical dynamics. Zbl 0873.03001
van Benthem, Johan
59
1996
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
58
1991
Handbook of modal logic. Zbl 1114.03001
Blackburn, Patrick (ed.); van Benthem, Johan (ed.); Wolter, Frank (ed.)
56
2007
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
54
2007
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
51
2009
Essays in logical semantics. Zbl 0619.03021
van Benthem, Johan
45
1986
Games in dynamic-epistemic logic. Zbl 1230.03046
van Benthem, Johan
41
2001
Handbook of spatial logics. Zbl 1172.03001
Aiello, Marco (ed.); Pratt-Hartmann, Ian (ed.); van Benthem, Johan (ed.)
34
2007
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
33
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.
32
1983
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
32
2009
Language in action. Zbl 0743.03018
van Benthem, Johan
26
1991
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
25
2002
Logic in games. Zbl 1291.03003
van Benthem, Johan
25
2014
Questions about quantifiers. Zbl 0573.03008
van Benthem, Johan
25
1984
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
24
2006
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
24
2011
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
24
1991
What one may come to know. Zbl 1073.03004
van Benthem, Johan
23
2004
Determiners and logic. Zbl 0535.03010
van Benthem, Johan
22
1983
The tree of knowledge in action: towards a common perspective. Zbl 1148.03009
van Benthem, Johan; Pacuit, Eric
22
2006
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
21
2006
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
21
2005
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
19
2001
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
18
2007
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
16
2009
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
15
2006
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
14
2010
Two simple incomplete modal logics. Zbl 0405.03010
van Benthem, J. F. A. K.
13
1978
Polyadic quantifiers. Zbl 0684.03008
van Benthem, Johan
13
1989
Toward a dynamic logic of questions. Zbl 1196.03027
van Benthem, Johan; Minică, Ştefan
13
2009
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
12
2012
Semantic parallels in natural language and computation. Zbl 0694.03022
van Benthem, Johan
12
1989
Modelling simultaneous games in dynamic logic. Zbl 1169.03021
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong
12
2008
Higher-order logic. Zbl 0875.03036
van Benthem, Johan; Doets, Kees
11
1983
Handbook of logic and language. Zbl 0874.03001
van Benthem, Johan (ed.); ter Meulen, Alice (ed.)
11
1997
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
11
2005
The semantics of variety in categorial grammar. Zbl 0695.03015
van Benthem, Johan
11
1988
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
10
1995
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
10
1999
Canonical modal logics and ultrafilter extensions. Zbl 0405.03011
van Benthem, J. F. A. K.
10
1979
The information in intuitionistic logic. Zbl 1172.03312
van Benthem, Johan
10
2009
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
10
2002
Partiality and nonmonotonicity in classical logic. Zbl 0624.03022
van Benthem, Johan
9
1986
Some kinds of modal completeness. Zbl 0459.03008
Van Benthem, J. F. A. K.
9
1980
A manual of intensional logic. 2nd ed., revised and expanded. Zbl 0678.03010
van Benthem, Johan
9
1988
Logic and reasoning: do the facts matter? Zbl 1149.03010
van Benthem, Johan
9
2008
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
9
2003
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
8
2000
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
8
1995
Ramsey eliminability. Zbl 0402.03014
van Benthem, J. F. A. K.
8
1978
Logic games are complete for game logics. Zbl 1040.03015
van Benthem, Johan
8
2003
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
8
2012
Notes on modal definability. Zbl 0671.03013
van Benthem, Johan
8
1989
Categorial grammar. Zbl 0691.00002
Buszkowski, Wojciech (ed.); Marciszewski, Witold (ed.); van Benthem, Johan (ed.)
8
1988
Logical constants across varying types. Zbl 0694.03023
van Benthem, Johan
8
1989
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
7
2014
Foundations of conditional logic. Zbl 0544.03011
van Benthem, Johan
7
1984
General dynamics. Zbl 0743.03019
van Benthem, Johan
7
1991
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
7
2008
Reflections on epistemic logic. Zbl 0814.03002
van Benthem, Johan
6
1991
Modality, bisimulation and interpolation in infinitary logic. Zbl 0923.03048
van Benthem, Johan
6
1999
Tense logic and standard logic. Zbl 0392.03019
van Benthem, J. F. A. K.
6
1977
Minimal deontic logics. Zbl 0408.03016
van Benthem, J. F. A. K.
6
1979
Transitivity follows from Dummett’s axiom. Zbl 0422.03004
van Benthem, J. F. A. K.; Blok, W. J.
6
1978
Modal foundations for predicate logic. Zbl 0949.03517
van Benthem, Johan
6
1997
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
6
2010
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
6
2011
The logical study of science. Zbl 0486.03007
Van Benthem, Johan
6
1982
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
6
2004
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
5
2001
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
5
2008
Open problems in logic and games. Zbl 1279.03059
van Benthem, Johan
5
2005
Hallden-completeness by gluing of Kripke frames. Zbl 0487.03008
van Benthem, J. F. A. K.; Humberstone, I. L.
5
1983
Situations, language and logic. Zbl 0731.03002
Fenstad, Jens Erik; Halvorsen, Per-Kristian; Langholm, Tore; van Benthem, Johan
5
1987
Rational dynamics and epistemic logic in games. Zbl 1139.91313
van Benthem, Johan
5
2007
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
5
2010
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
5
2007
Modal reduction principles. Zbl 0337.02014
Van Benthem, J. F. A. K.
5
1976
Program constructions that are safe for bisimulation. Zbl 0958.68104
van Benthem, Johan
4
1998
Modal logic, transition systems and processes. Zbl 0817.03014
van Benthem, Johan; van Eijck, Jan; Stebletsova, Vera
4
1994
Logic and the flow of information. Zbl 0831.03011
van Benthem, Johan
4
1994
Syntactic aspects of modal incompleteness theorems. Zbl 0452.03013
van Benthem, J. F. A. K.
4
1979
Natural logic: a view from the 1980s. Zbl 1268.03005
van Benthem, Johan
4
2008
McCarthy variations in a modal key. Zbl 1216.68278
van Benthem, Johan
4
2011
Bridges between dynamic doxastic and doxastic temporal logics. Zbl 1287.03042
van Benthem, Johan; Dégremont, Cédric
4
2010
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
Evidence logic: a new look at neighborhood structures. Zbl 1291.03027
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
4
2012
Two logical faces of belief revision. Zbl 1347.03026
van Benthem, Johan
4
2014
A mathematical characterization of interpretation between theories. Zbl 0573.03009
van Benthem, Johan; Pearce, David
4
1984
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
1
2019
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
3
2018
Symbolic model checking for dynamic epistemic logic – S5 and beyond. Zbl 1410.68242
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
1
2018
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
3
2017
A propositional dynamic logic for instantial neighborhood models. Zbl 06810778
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
3
2017
Talking about knowledge. Zbl 1437.03075
van Benthem, Johan
1
2017
Tales from an old manuscript. Zbl 1418.03031
van Benthem, Johan
1
2016
Symbolic model checking for dynamic epistemic logic. Zbl 1410.68241
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
3
2015
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke
3
2015
Sabotage modal logic: some model and proof theoretic aspects. Zbl 06521563
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
2
2015
Oscillations, logic, and dynamical systems. Zbl 1406.03048
van Benthem, Johan
1
2015
Logic in games. Zbl 1291.03003
van Benthem, Johan
25
2014
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
7
2014
Two logical faces of belief revision. Zbl 1347.03026
van Benthem, Johan
4
2014
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
3
2014
Connecting logics of choice and change. Zbl 1287.03056
van Benthem, Johan; Pacuit, Eric
1
2014
Reasoning about strategies. Zbl 1264.03052
van Benthem, Johan
1
2013
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
12
2012
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
8
2012
Evidence logic: a new look at neighborhood structures. Zbl 1291.03027
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
4
2012
The logic of empirical theories revisited. Zbl 1275.03076
van Benthem, Johan
3
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
76
2011
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
24
2011
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
6
2011
McCarthy variations in a modal key. Zbl 1216.68278
van Benthem, Johan
4
2011
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
Logical dynamics of evidence. Zbl 1298.68261
van Benthem, Johan; Pacuit, Eric
2
2011
Handbook of logic and language. 2nd ed. Zbl 1204.03001
van Benthem, Johan; ter Meulen, Alice
1
2011
Logic games: from tools to models of interaction. Zbl 1319.03046
van Benthem, Johan
1
2011
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
14
2010
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
6
2010
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
5
2010
Bridges between dynamic doxastic and doxastic temporal logics. Zbl 1287.03042
van Benthem, Johan; Dégremont, Cédric
4
2010
Frame correspondences in modal predicate logic. Zbl 1244.03077
van Benthem, Johan
2
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
51
2009
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
32
2009
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
16
2009
Toward a dynamic logic of questions. Zbl 1196.03027
van Benthem, Johan; Minică, Ştefan
13
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
4
2009
Decisions, actions, and games: A logical perspective. Zbl 1209.03009
van Benthem, Johan
2
2009
Modelling simultaneous games in dynamic logic. Zbl 1169.03021
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong
12
2008
Logic and reasoning: do the facts matter? Zbl 1149.03010
van Benthem, Johan
9
2008
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
7
2008
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
5
2008
Natural logic: a view from the 1980s. Zbl 1268.03005
van Benthem, Johan
4
2008
‘Games that make sense’: logic, language, and multi-agent interaction. Zbl 1377.03018
van Benthem, Johan
4
2008
Modal fixed-point logic and changing models. Zbl 1133.03325
van Benthem, Johan; Ikegami, Daisuke
2
2008
Modal logic and invariance. Zbl 1181.03020
van Benthem, Johan; Bonnay, Denis
2
2008
Man muss immer umkehren! Zbl 1229.03022
van Benthem, Johan
1
2008
Computation as conversation. Zbl 1145.03016
van Benthem, Johan
1
2008
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
98
2007
Handbook of modal logic. Zbl 1114.03001
Blackburn, Patrick; van Benthem, Johan; Wolter, Frank
56
2007
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
54
2007
Handbook of spatial logics. Zbl 1172.03001
Aiello, Marco; Pratt-Hartmann, Ian; van Benthem, Johan
34
2007
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
18
2007
Rational dynamics and epistemic logic in games. Zbl 1139.91313
van Benthem, Johan
5
2007
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
5
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
Bold, Stefan; Löwe, Benedikt; Räsch, Thoralf; van Benthem, Johan
1
2007
Inference in action. Zbl 1224.03004
van Benthem, Johan
1
2007
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
96
2006
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
24
2006
The tree of knowledge in action: towards a common perspective. Zbl 1148.03009
van Benthem, Johan; Pacuit, Eric
22
2006
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
21
2006
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
15
2006
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
21
2005
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
11
2005
Open problems in logic and games. Zbl 1279.03059
van Benthem, Johan
5
2005
Guards, bounds, and generalized semantics. Zbl 1080.03003
van Benthem, Johan
2
2005
What one may come to know. Zbl 1073.03004
van Benthem, Johan
23
2004
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
6
2004
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
33
2003
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
9
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
25
2002
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
10
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
41
2001
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
19
2001
Higher-order logic. 2nd ed. Zbl 1003.03513
van Benthem, Johan; Doets, Kees
5
2001
Modal logic in two gestalts. Zbl 0993.03021
van Benthem, Johan
2
2001
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
8
2000
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
10
1999
Modality, bisimulation and interpolation in infinitary logic. Zbl 0923.03048
van Benthem, Johan
6
1999
The range of modal logic. An essay in memory of George Gargov. Zbl 0989.03017
van Benthem, Johan
4
1999
Temporal patterns and modal structure. Zbl 0933.03013
van Benthem, Johan
2
1999
Wider still and wider\(\dots\) Resetting the bounds of logic. Zbl 0993.03005
van Benthem, Johan
1
1999
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
89
1998
Program constructions that are safe for bisimulation. Zbl 0958.68104
van Benthem, Johan
4
1998
Modal deduction in second-order logic and set theory. II. Zbl 0953.03022
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
2
1998
Changing contexts and shifting assertions. Zbl 0959.03018
van Benthem, Johan
1
1998
Handbook of logic and language. Zbl 0874.03001
van Benthem, Johan; ter Meulen, Alice
11
1997
Modal foundations for predicate logic. Zbl 0949.03517
van Benthem, Johan
6
1997
Modal deduction in second-order logic and set theory. I. Zbl 0873.03021
van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
3
1997
...and 67 more Documents
all top 5

Cited by 1,092 Authors

60 van Benthem, Johan F. A. K.
32 van Ditmarsch, Hans Pieter
23 Baltag, Alexandru
23 Smets, Sonja J. L.
18 Bezhanishvili, Guram
18 Bezhanishvili, Nick
16 Lorini, Emiliano
16 Pacuit, Eric
13 Velázquez-Quesada, Fernando Raymundo
12 Areces, Carlos
12 Hodkinson, Ian Martin
12 ten Cate, Balder David
12 van der Hoek, Wiebe
11 Rybakov, Vladimir Vladimirovich
11 Wang, Yanjing
10 Ågotnes, Thomas
10 Goranko, Valentin F.
10 Herzig, Andreas
10 Kooi, Barteld Pieter
10 Marx, Maarten
9 Buszkowski, Wojciech
9 Conradie, Willem J.
9 Demri, Stéphane P.
9 Gabbay, Dov M.
9 Ghosh, Sujata
9 Humberstone, Lloyd
9 Pentus, Mati
9 Venema, Yde
8 Andréka, Hajnal
8 Liu, Fenrong
8 Ma, Minghui
8 Németi, István
8 Otto, Martin
8 Wolter, Frank
8 Wooldridge, Michael J.
7 Balbiani, Philippe
7 Blackburn, Patrick
7 de Rijke, Maarten
7 Gierasimczuk, Nina
7 Holliday, Wesley H.
7 Hoshi, Tomohiro
7 Lucero-Bryan, Joel Gregory
7 Palmigiano, Alessandra
7 Roy, Olivier
7 Sano, Katsuhiko
7 Verbrugge, Rineke
7 Wansing, Heinrich Theodor
7 Westerståhl, Dag
6 Aucher, Guillaume
6 Benevides, Mario R. F.
6 Gabelaia, David
6 Girard, Patrick R.
6 Goldblatt, Robert Ian
6 Gottlob, Georg
6 Heinemann, Bernhard
6 Orłowska, Ewa S.
6 Rendsvig, Rasmus Kræmmer
6 Sayed Ahmed, Tarek
6 Sciavicco, Guido
6 Vakarelov, Dimiter
6 van Eijck, Jan
6 Zakharyaschev, Michael Viktorovich
5 Bloch, Isabelle
5 Bolander, Thomas
5 Düntsch, Ivo
5 Enqvist, Sebastian
5 Fan, Jie
5 Fernández Duque, David
5 Grädel, Erich
5 Grossi, Davide
5 Kremer, Philip
5 Leinders, Dirk
5 Litak, Tadeusz
5 Montanari, Angelo
5 Moss, Lawrence S.
5 Naumov, Pavel G.
5 Özgün, Aybüke
5 Pinchinat, Sophie
5 Renne, Bryan
5 Sack, Joshua
5 Sandu, Gabriel
5 Schwarzentruber, François
5 Seligman, Jeremy M.
5 Szymanik, Jakub
5 Van den Bussche, Jan
5 van Mill, Jan
5 Winter, Yoad
5 Wybraniec-Skardowska, Urszula
5 Zanardo, Alberto
4 Alechina, Natasha
4 Badia, Guillermo
4 Bárány, Vince
4 Bonanno, Giacomo
4 Ciardelli, Ivano A.
4 De Giacomo, Giuseppe
4 de Lima, Tiago
4 Dégremont, Cédric
4 Demey, Lorenz
4 French, Tim
4 Godo, Lluís
...and 992 more Authors
all top 5

Cited in 104 Serials

115 Studia Logica
101 Journal of Philosophical Logic
87 Synthese
78 Journal of Logic, Language and Information
55 Journal of Applied Non-Classical Logics
53 Annals of Pure and Applied Logic
48 The Journal of Symbolic Logic
42 Artificial Intelligence
40 Theoretical Computer Science
37 The Review of Symbolic Logic
29 Journal of Applied Logic
25 Notre Dame Journal of Formal Logic
21 Information and Computation
19 Annals of Mathematics and Artificial Intelligence
15 Journal of Logical and Algebraic Methods in Programming
12 Fuzzy Sets and Systems
12 Logica Universalis
11 International Journal of Approximate Reasoning
11 The Bulletin of Symbolic Logic
11 Logical Methods in Computer Science
10 Archive for Mathematical Logic
10 ACM Transactions on Computational Logic
9 Linguistics and Philosophy
8 Information Processing Letters
8 Algebra Universalis
8 Logic and Logical Philosophy
7 Information Sciences
5 Journal of Automated Reasoning
5 Mathematical Logic Quarterly (MLQ)
5 Erkenntnis
5 International Game Theory Review
5 Theory and Practice of Logic Programming
5 Games
4 Journal of Mathematical Sciences (New York)
3 Journal of Computer and System Sciences
3 Theory and Decision
3 Order
3 Journal of Symbolic Computation
3 Formal Aspects of Computing
3 MSCS. Mathematical Structures in Computer Science
3 Topoi
3 Foundations of Science
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Frontiers of Computer Science
2 International Journal of Theoretical Physics
2 Algebra and Logic
2 Applied Mathematics and Computation
2 Siberian Mathematical Journal
2 Science of Computer Programming
2 History and Philosophy of Logic
2 Mathematical and Computer Modelling
2 Games and Economic Behavior
2 RAIRO. Informatique Théorique et Applications
2 Indagationes Mathematicae. New Series
2 Formal Methods in System Design
2 Theory of Computing Systems
2
2 Proceedings of the Steklov Institute of Mathematics
1 Acta Informatica
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Advances in Mathematics
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Algebra
1 Journal of Mathematical Psychology
1 Kybernetika
1 Transactions of the American Mathematical Society
1 Bulletin of the Section of Logic
1 Topology and its Applications
1 Mathematical Social Sciences
1 Operations Research Letters
1 Acta Mathematica Hungarica
1 New Generation Computing
1 Algorithmica
1 International Journal of Parallel Programming
1 International Journal of Intelligent Systems
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Diagrammes
1 Journal of the Egyptian Mathematical Society
1 Nonlinear Dynamics
1 Soft Computing
1 Journal of the ACM
1 Journal of Group Theory
1 Higher-Order and Symbolic Computation
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 International Studies in the Philosophy of Science
1 Parallel Processing Letters
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Journal of Mathematics and Music
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
...and 4 more Serials

Citations by Year

Wikidata Timeline

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