×

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: 208 Publications since 1973, including 11 Books
23 Contributions as Editor · 3 Further Contributions
Reviewing Activity: 1 Review
Biographic References: 2 Publications
Co-Authors: 84 Co-Authors with 91 Joint Publications
1,439 Co-Co-Authors
all top 5

Co-Authors

142 single-authored
11 Pacuit, Eric
8 Bezhanishvili, Nick
5 Doets, Kees
5 Enqvist, Sebastian
5 Liu, Fenrong
4 Aiello, Marco
4 Andréka, Hajnal
4 Gupta, Amitabha
4 Németi, István
4 van Eijck, Jan
3 Bezhanishvili, Guram
3 Gabbay, Dov M.
3 Grossi, Davide
3 Minică, Ştefan
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 ten Cate, Balder David
2 ter Meulen, Alice G. B.
2 Westerståhl, Dag
1 Alechina, Natasha
1 Åqvist, Lennart
1 Baltag, Alexandru
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 Ikegami, Daisuke
1 Ju, Shier
1 Kandulski, Maciej
1 Keenan, Edward L.
1 Kuipers, Theo A. F.
1 Lambek, Joachim
1 Langholm, Tore
1 Leblanc, Hugues
1 Lecomte, Alain
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
1 Räsch, Thoralf
1 Rendsvig, Rasmus Kræmmer
1 Scott, Philip J.
...and 17 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

178 Publications have been cited 2,246 times in 1,353 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
109
2007
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
106
1998
Logics of communication and change. Zbl 1120.03012
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
104
2006
Logical dynamics of information and interaction. Zbl 1251.03003
van Benthem, Johan
93
2011
Modal logic and classical logic. Zbl 0639.03014
van Benthem, Johan
76
1985
Correspondence theory. Zbl 0875.03048
van Benthem, Johan
71
1984
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
61
2007
Exploring logical dynamics. Zbl 0873.03001
van Benthem, Johan
60
1996
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
60
1991
Handbook of modal logic. Zbl 1114.03001
60
2007
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
57
2009
Games in dynamic-epistemic logic. Zbl 1230.03046
van Benthem, Johan
47
2001
Essays in logical semantics. Zbl 0619.03021
van Benthem, Johan
46
1986
Handbook of spatial logics. Zbl 1172.03001
41
2007
Logic in games. Zbl 1291.03003
van Benthem, Johan
40
2014
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
38
2009
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
35
2003
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
35
2011
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.
33
1983
Language in action. Zbl 0743.03018
van Benthem, Johan
28
1991
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
27
2002
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
26
1991
Questions about quantifiers. Zbl 0573.03008
van Benthem, Johan
25
1984
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
25
2005
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
25
2006
What one may come to know. Zbl 1073.03004
van Benthem, Johan
24
2004
Determiners and logic. Zbl 0535.03010
van Benthem, Johan
23
1983
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
22
2001
The tree of knowledge in action: towards a common perspective. Zbl 1148.03009
van Benthem, Johan; Pacuit, Eric
22
2006
Handbook of philosophical logic. Volume II: Extensions of classical logic. Zbl 0572.03003
21
1984
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
21
2006
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
18
2009
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
18
2007
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
16
2006
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
15
2010
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
14
2012
Toward a dynamic logic of questions. Zbl 1196.03027
van Benthem, Johan; Minică, Ştefan
13
2009
Two simple incomplete modal logics. Zbl 0405.03010
van Benthem, J. F. A. K.
13
1978
The semantics of variety in categorial grammar. Zbl 0695.03015
van Benthem, Johan
13
1988
Polyadic quantifiers. Zbl 0684.03008
van Benthem, Johan
13
1989
Handbook of logic and language. Zbl 0874.03001
12
1997
Higher-order logic. Zbl 0875.03036
van Benthem, Johan; Doets, Kees
12
1983
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
12
2005
Modelling simultaneous games in dynamic logic. Zbl 1169.03021
van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong
12
2008
Semantic parallels in natural language and computation. Zbl 0694.03022
van Benthem, Johan
12
1989
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
12
2014
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
11
2002
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
11
1995
Canonical modal logics and ultrafilter extensions. Zbl 0405.03011
van Benthem, J. F. A. K.
11
1979
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
11
2018
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
10
2003
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
10
1999
The information in intuitionistic logic. Zbl 1172.03312
van Benthem, Johan
10
2009
Logic and reasoning: do the facts matter? Zbl 1149.03010
van Benthem, Johan
10
2008
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
9
1995
Ramsey eliminability. Zbl 0402.03014
van Benthem, J. F. A. K.
9
1978
Partiality and nonmonotonicity in classical logic. Zbl 0624.03022
van Benthem, Johan
9
1986
A manual of intensional logic. 2nd ed., revised and expanded. Zbl 0678.03010
van Benthem, Johan
9
1988
Notes on modal definability. Zbl 0671.03013
van Benthem, Johan
9
1989
Some kinds of modal completeness. Zbl 0459.03008
Van Benthem, J. F. A. K.
9
1980
Logical constants across varying types. Zbl 0694.03023
van Benthem, Johan
9
1989
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
9
2017
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
9
2011
Logic games are complete for game logics. Zbl 1040.03015
van Benthem, Johan
8
2003
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
8
2000
Categorial grammar. Zbl 0691.00002
8
1988
Foundations of conditional logic. Zbl 0544.03011
van Benthem, Johan
8
1984
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
8
2010
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
8
2012
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
8
2008
Reflections on epistemic logic. Zbl 0814.03002
van Benthem, Johan
7
1991
General dynamics. Zbl 0743.03019
van Benthem, Johan
7
1991
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
7
2007
The logical study of science. Zbl 0486.03007
Van Benthem, Johan
7
1982
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
7
2004
Evidence logic: a new look at neighborhood structures. Zbl 1291.03027
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
7
2012
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
A note on modal formulae and relational properties. Zbl 0308.02024
Van Benthem, J. F. A. K.
6
1975
Lindström theorems for fragments of first-order logic. Zbl 1168.03017
van Benthem, Johan; ten Cate, Balder; Väänänen, Jouko
6
2009
Modal formulas are either elementary or not \(\Sigma\Delta\)-elementary. Zbl 0337.02015
Van Benthem, J. F. A. K.
6
1976
Modality, bisimulation and interpolation in infinitary logic. Zbl 0923.03048
van Benthem, Johan
6
1999
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
6
2010
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
6
2014
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
6
2008
Hallden-completeness by gluing of Kripke frames. Zbl 0487.03008
van Benthem, J. F. A. K.; Humberstone, I. L.
6
1983
Handbook of philosophical logic. Vol. I: Elements of classical logic. Zbl 0538.03001
6
1983
Program constructions that are safe for bisimulation. Zbl 0958.68104
van Benthem, Johan
5
1998
Higher-order logic. 2nd ed. Zbl 1003.03513
van Benthem, Johan; Doets, Kees
5
2001
Situations, language and logic. Zbl 0731.03002
Fenstad, Jens Erik; Halvorsen, Per-Kristian; Langholm, Tore; van Benthem, Johan
5
1987
Open problems in logic and games. Zbl 1279.03059
van Benthem, Johan
5
2005
Modal reduction principles. Zbl 0337.02014
Van Benthem, J. F. A. K.
5
1976
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
5
2015
Two logical faces of belief revision. Zbl 1347.03026
van Benthem, Johan
5
2014
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
The logic of empirical theories revisited. Zbl 1275.03076
van Benthem, Johan
5
2012
The modal logic of stepwise removal. Zbl 07493109
van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca
1
2022
A simple logic of functional dependence. Zbl 07420139
Baltag, Alexandru; van Benthem, Johan
1
2021
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
4
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
3
2019
Implicit and explicit stances in logic. Zbl 1457.03035
van Benthem, Johan
1
2019
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
11
2018
Symbolic model checking for dynamic epistemic logic – S5 and beyond. Zbl 1410.68242
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
4
2018
Constructive agents. Zbl 1436.03117
van Benthem, Johan
1
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
9
2017
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
A propositional dynamic logic for instantial neighborhood models. Zbl 06810778
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
4
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
1
2017
Talking about knowledge. Zbl 1437.03075
van Benthem, Johan
1
2017
Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Zbl 1348.03005
1
2016
Tales from an old manuscript. Zbl 1418.03031
van Benthem, Johan
1
2016
Models of strategic reasoning. Logics, games, and communities. Zbl 1327.91003
5
2015
Sabotage modal logic: some model and proof theoretic aspects. Zbl 1471.03040
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
4
2015
Symbolic model checking for dynamic epistemic logic. Zbl 1410.68241
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
4
2015
Oscillations, logic, and dynamical systems. Zbl 1406.03048
van Benthem, Johan
1
2015
Logic in games. Zbl 1291.03003
van Benthem, Johan
40
2014
Evidence and plausibility in neighborhood structures. Zbl 1345.03045
van Benthem, Johan; Fernández-Duque, David; Pacuit, Eric
12
2014
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
6
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
2
2014
Reasoning about strategies. Zbl 1264.03052
van Benthem, Johan
2
2013
Toward a dynamic logic of questions. Zbl 1272.03088
van Benthem, Johan; Minică, Ştefan
14
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
7
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
93
2011
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
35
2011
Toward a theory of play: a logical perspective on games and interaction. Zbl 1311.91048
van Benthem, Johan; Pacuit, Eric; Roy, Olivier
9
2011
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
McCarthy variations in a modal key. Zbl 1216.68278
van Benthem, Johan
4
2011
Logic games: from tools to models of interaction. Zbl 1319.03046
van Benthem, Johan
2
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
1
2011
The dynamics of awareness. Zbl 1215.03030
van Benthem, Johan; Velázquez-Quesada, Fernando R.
15
2010
Game solution, epistemic dynamics and fixed-point logics. Zbl 1214.03014
van Benthem, Johan; Gheerbrant, Amélie
8
2010
Deontics = betterness + priority. Zbl 1250.03042
van Benthem, Johan; Grossi, Davide; Liu, Fenrong
6
2010
Frame correspondences in modal predicate logic. Zbl 1244.03077
van Benthem, Johan
4
2010
Bridges between dynamic doxastic and doxastic temporal logics. Zbl 1287.03042
van Benthem, Johan; Dégremont, Cédric
4
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
57
2009
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
38
2009
Dynamic update with probabilities. Zbl 1183.03015
van Benthem, Johan; Gerbrandy, Jelle; Kooi, Barteld
18
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
6
2009
Decisions, actions, and games: A logical perspective. Zbl 1209.03009
van Benthem, Johan
2
2009
The age of alternative logics. Assessing philosophy of logic and mathematics today. 2nd printing. Zbl 1176.03002
1
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
10
2008
The many faces of interpolation. Zbl 1168.03020
van Benthem, Johan
8
2008
Logical dynamics meets logical pluralism? Zbl 1168.03313
van Benthem, Johan
6
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 logic and invariance. Zbl 1181.03020
van Benthem, Johan; Bonnay, Denis
3
2008
Modal fixed-point logic and changing models. Zbl 1133.03325
van Benthem, Johan; Ikegami, Daisuke
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
109
2007
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
61
2007
Handbook of modal logic. Zbl 1114.03001
60
2007
Handbook of spatial logics. Zbl 1172.03001
41
2007
Rational dynamics and epistemic logic in games. Zbl 1138.91354
van Benthem, Johan
18
2007
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
7
2007
Rational dynamics and epistemic logic in games. Zbl 1139.91313
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
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
104
2006
“One is a lonely number”: logic and communication. Zbl 1108.03011
van Benthem, Johan
25
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.
16
2006
An essay on sabotage and obstruction. Zbl 1098.68632
van Benthem, Johan
25
2005
Minimal predicates, fixed-points, and definability. Zbl 1089.03010
van Benthem, Johan
12
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
4
2005
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
4
2005
What one may come to know. Zbl 1073.03004
van Benthem, Johan
24
2004
The geometry of knowledge. Zbl 1087.03011
van Benthem, Johan; Sarenac, Darko
7
2004
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
35
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
10
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
27
2002
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
11
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
47
2001
Correspondence theory. 2nd ed. Zbl 1003.03518
van Benthem, Johan
22
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
...and 78 more Documents
all top 5

Cited by 1,218 Authors

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

Cited in 113 Serials

124 Studia Logica
103 Journal of Philosophical Logic
91 Synthese
86 Journal of Logic, Language and Information
57 Journal of Applied Non-Classical Logics
56 Annals of Pure and Applied Logic
50 The Journal of Symbolic Logic
47 Artificial Intelligence
44 The Review of Symbolic Logic
40 Theoretical Computer Science
29 Journal of Applied Logic
26 Notre Dame Journal of Formal Logic
24 Information and Computation
19 Annals of Mathematics and Artificial Intelligence
16 Logical Methods in Computer Science
16 Journal of Logical and Algebraic Methods in Programming
14 International Journal of Approximate Reasoning
13 Logica Universalis
12 Fuzzy Sets and Systems
12 The Bulletin of Symbolic Logic
11 Archive for Mathematical Logic
11 Logic and Logical Philosophy
10 ACM Transactions on Computational Logic
9 Linguistics and Philosophy
8 Information Processing Letters
8 Algebra Universalis
8 Erkenntnis
7 Information Sciences
6 Journal of Automated Reasoning
5 Mathematical Logic Quarterly (MLQ)
5 International Game Theory Review
5 Theory and Practice of Logic Programming
5 Games
4 Journal of Mathematical Sciences (New York)
4 Foundations of Science
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 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Frontiers of Computer Science
3 Journal of Siberian Federal University. Mathematics & Physics
2 International Journal of Theoretical Physics
2 Israel Journal of Mathematics
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 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 Kybernetika
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
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 Neural Computation
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 Filomat
1 The Journal of Artificial Intelligence Research (JAIR)
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
...and 13 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.