Johan van Benthem

	2012
94		Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson: Sahlqvist Correspondence for Modal mu-calculus. Studia Logica 100(1-2): 31-60 (2012)
	2011
93		Johan van Benthem, Amitabha Gupta, Rohit Parikh: Proof, Computation and Agency - Logic at the Crossroads. Springer 2011
92		Johan van Benthem, Eric Pacuit: Logical Dynamics of Evidence. LORI 2011: 1-27
91		Johan van Benthem: Exploring a theory of play. TARK 2011: 12-16
90		Johan van Benthem: Logic Games: From Tools to Models of Interaction. Proof, Computation and Agency 2011: 183-216
89		Johan van Benthem: McCarthy variations in a modal key. Artif. Intell. 175(1): 428-439 (2011)
88		Johan van Benthem, Eric Pacuit, Olivier Roy: Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games 2(1): 52-86 (2011)
87		Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica: Question-answer games. Journal of Applied Non-Classical Logics 21(3-4): 265-288 (2011)
86		Johan van Benthem, Eric Pacuit: Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99(1-3): 61-92 (2011)
85		Johan van Benthem, Theo Kuipers, Henk Visser: Introduction. Synthese 179(2): 203-206 (2011)
	2010
84		Johan van Benthem, Davide Grossi, Fenrong Liu: Deontics = Betterness + Priority. DEON 2010: 50-65
83		Johan van Benthem: Logic between Expressivity and Complexity. IJCAR 2010: 122-126
82		Johan van Benthem, Amélie Gheerbrant: Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Inform. 100(1-4): 19-41 (2010)
81		Johan van Benthem, Eric Pacuit: Temporal Logics of Agency. Journal of Logic, Language and Information 19(4): 389-393 (2010)
80		Johan van Benthem, Fernando R. Velázquez-Quesada: The dynamics of awareness. Synthese 177(Supplement-1): 5-27 (2010)
	2009
79		Johan van Benthem: Decisions, Actions, and Games: A Logical Perspective. ICLA 2009: 1-22
78		Johan van Benthem, Stefan Minica: Toward a Dynamic Logic of Questions. LORI 2009: 27-41
77		Johan van Benthem, Patrick Girard, Olivier Roy: Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. J. Philosophical Logic 38(1): 83-125 (2009)
76		Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit: Merging Frameworks for Interaction. J. Philosophical Logic 38(5): 491-526 (2009)
75		Johan van Benthem, Balder ten Cate, Jouko A. Väänänen: Lindström theorems for fragments of first-order logic Logical Methods in Computer Science 5(3): (2009)
74		Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi: Dynamic Update with Probabilities. Studia Logica 93(1): 67-96 (2009)
73		Johan van Benthem: The information in intuitionistic logic. Synthese 167(2): 251-270 (2009)
72		Thomas Ågotnes, Johan van Benthem, Eric Pacuit: Logic and intelligent interaction. Synthese 169(2): 219-221 (2009)
	2008
71		Marco Aiello, Johan van Benthem, Elie el Khoury: Visualizing Compositions of Services from Large Repositories. CEC/EEE 2008: 359-362
70		Johan van Benthem, Cédric Dégremont: Bridges between Dynamic Doxastic and Doxastic Temporal Logics. LOFT 2008: 151-173
69		Johan van Benthem, Daisuke Ikegami: Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science 2008: 146-165
68		Johan van Benthem, Denis Bonnay: Modal logic and invariance. Journal of Applied Non-Classical Logics 18(2-3): 153-173 (2008)
67		Johan van Benthem: Logic and Reasoning: do the facts matter? Studia Logica 88(1): 67-84 (2008)
66		Johan van Benthem, Vincent F. Hendricks, John Symons: Editorial. Synthese 160(1): 1-4 (2008)
65		Johan van Benthem: The many faces of interpolation. Synthese 164(3): 451-460 (2008)
64		Johan van Benthem, Sujata Ghosh, Fenrong Liu: Modelling simultaneous games in dynamic logic. Synthese 165(2): 247-268 (2008)
	2007
63		Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: Handbook of Spatial Logics Springer 2007
62		Balder ten Cate, Johan van Benthem, Jouko A. Väänänen: Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
61		Johan van Benthem, Jelle Gerbrandy, Eric Pacuit: Merging frameworks for interaction: DEL and ETL. TARK 2007: 72-81
60		Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11
59		Johan van Benthem, Guram Bezhanishvili: Modal Logics of Space. Handbook of Spatial Logics 2007: 217-298
58		Johan van Benthem: Rational Dynamics and Epistemic Logic in Games. IGTR 9(1): 13-45 (2007)
57		Johan van Benthem: Erratum: "Rational Dynamics and Epistemic Logic in Games". IGTR 9(2): 377-409 (2007)
56		Johan van Benthem: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2): 129-155 (2007)
55		Johan van Benthem, Fenrong Liu: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2): 157-182 (2007)
54		Johan van Benthem, Vincent F. Hendricks, John Symons: Editorial. Synthese 154(1): 1-3 (2007)
	2006
53		Johan van Benthem, Eric Pacuit: The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic 2006: 87-106
52		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)
51		Johan van Benthem: Modal Frame Correspondences and Fixed-Points. Studia Logica 83(1-3): 133-155 (2006)
50		Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006)
49		Johan van Benthem, Vincent F. Hendricks, John Symons: Editorial. Synthese 148(1): 1-3 (2006)
	2005
48		Johan van Benthem: An Essay on Sabotage and Obstruction. Mechanizing Mathematical Reasoning 2005: 268-276
47		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261
46		Johan van Benthem: Open Problems in Logic and Games. We Will Show Them! (1) 2005: 229-264
45		Johan van Benthem: Minimal predicates, fixed-points, and definability. J. Symb. Log. 70(3): 696-712 (2005)
44		Johan van Benthem: Guards, Bounds, and Generalized Semantics. Journal of Logic, Language and Information 14(3): 263-279 (2005)
	2003
43		Marco Aiello, Johan van Benthem, Guram Bezhanishvili: Reasoning About Space: The Modal Way. J. Log. Comput. 13(6): 889-920 (2003)
42		Johan van Benthem, Robert van Rooy: Connecting the Different Faces of Information. Journal of Logic, Language and Information 12(4): 375-379 (2003)
41		Johan van Benthem: Conditional Probability Meets Update Logic. Journal of Logic, Language and Information 12(4): 409-421 (2003)
40		Johan van Benthem: Logic Games are Complete for Game Logics. Studia Logica 75(2): 183-203 (2003)
39		Johan van Benthem, Guram Bezhanishvili, Mai Gehrke: Euclidean Hierarchy in Modal Logic. Studia Logica 75(3): 327-344 (2003)
	2002
38		Marco Aiello, Johan van Benthem: A Modal Walk Through Space. Journal of Applied Non-Classical Logics 12(3-4): 319-364 (2002)
37		Johan van Benthem: Extensive Games as Process Models. Journal of Logic, Language and Information 11(3): 289-313 (2002)
	2001
36		Johan van Benthem: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001 Morgan Kaufmann 2001
35		Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem: Ensemble-based prediction of SAT search behaviour. Electronic Notes in Discrete Mathematics 9: 278-289 (2001)
	2000
34		Johan van Benthem: `On Being Informed': Update Logics for Knowledge States. JELIA 2000: 1
33		Johan van Benthem: Information Transfer across Chu Spaces. Logic Journal of the IGPL 8(6): 719-731 (2000)
	1999
32		Johan van Benthem: Modality, Bisimulation and Interpolation in Infinitary Logic. Ann. Pure Appl. Logic 96(1-3): 29-41 (1999)
31		Jon Barwise, Johan van Benthem: Interpolation, Preservation, and Pebble Games. J. Symb. Log. 64(2): 881-903 (1999)
30		Johan van Benthem: The Range of Modal Logic. Journal of Applied Non-Classical Logics 9(2-3): (1999)
29		Johan van Benthem, David Israel: Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. Journal of Logic, Language and Information 8(3): 390-397 (1999)
28		Johan van Benthem: Temporal Patterns and Modal Structure. Logic Journal of the IGPL 7(1): 7-26 (1999)
	1998
27		Johan van Benthem: Process Operations in Extended Dynamic Logics. LICS 1998: 244-250
26		Johan van Benthem: Modality, relational guards, and decidability (invited paper). RelMiCS 1998: 18
25		Johan van Benthem: Program Constructions that are Safe for Bisimulation. Studia Logica 60(2): 311-330 (1998)
24		Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60(2): 387-420 (1998)
	1997
23		Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. 7(2): 251-265 (1997)
22		Johan van Benthem, Yoav Shoham: Editorial: Cognitive Actions in Focus. Journal of Logic, Language and Information 6(2): 119-121 (1997)
21		Johan van Benthem: Modal Foundations for Predicate Logic. Logic Journal of the IGPL 5(2): 259-286 (1997)
	1996
20		Frank D. Anger, Rita V. Rodríguez, Hans W. Guesgen, Johan van Benthem: Space, Time, and Computation: Trends and Problems. Appl. Intell. 6(1): 5-9 (1996)
	1995
19		Hajnal Andréka, Johan van Benthem, István Németi: Back and Forth Between Modal Logic and Classical Logic. Logic Journal of the IGPL 3(5): 685-720 (1995)
18		Johan van Benthem, Dag Westerståhl: Directions in generalized quantifier theory. Studia Logica 55(3): 389-419 (1995)
	1994
17		Johan van Benthem, Jan van Eijck, Vera Stebletsova: Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994)
16		Johan van Benthem, Jan A. Bergstra: Logic of Transition Systems. Journal of Logic, Language and Information 3(4): 247-283 (1994)
	1993
15		Johan van Benthem: The Logic of Cognitive Action. IJCAI 1993: 810-812
14		Johan van Benthem: Modal Frame Classes Revisited. Fundam. Inform. 18: 307-317 (1993)
13		Johan van Benthem: Editorial: The Elusive Locus of Logicality. J. Log. Comput. 3(5): 451-453 (1993)
	1992
12		Johan van Benthem: Epistemic Logic: From Knowledge to Cognition. TARK 1992: 167-168
11		Johan van Benthem: Logic as programming. Fundam. Inform. 17(4): 285-317 (1992)
	1991
10		Johan van Benthem: Reasoning and Programming: Analogies between Logic and Computation. ISLP 1991: 717-718
9		Johan van Benthem: Editorial. J. Log. Comput. 1(3): 301-304 (1991)
	1989
8		Johan van Benthem: Notes on Modal Definability. Notre Dame Journal of Formal Logic 30(1): 20-35 (1989)
7		Johan van Benthem: Logical Constants Across Varying Types. Notre Dame Journal of Formal Logic 30(3): 315-342 (1989)
	1988
6		Johan van Benthem: Time, logic and computation. REX Workshop 1988: 1-49
	1984
5		Johan van Benthem: Questions About Quantifiers. J. Symb. Log. 49(2): 443-466 (1984)
	1979
4		Johan van Benthem: Canonical Modal Logics and Ultrafilter Extensions. J. Symb. Log. 44(1): 1-8 (1979)
	1976
3		Johan van Benthem: Modal Reduction Principles. J. Symb. Log. 41(2): 301-312 (1976)
2		Johan van Benthem: Modal Formulas are Either Elementary or not sigma triangle-Elementary. J. Symb. Log. 41(2): 436-438 (1976)
	1975
1		Johan van Benthem: A Note on Modal Formulae and Relational Properties. J. Symb. Log. 40(1): 55-58 (1975)

Coauthor Index

1	Thomas Ågotnes	[72] [87]
2	Marco Aiello	[38] [43] [60] [63] [71]
3	Hajnal Andréka	[19]
4	Frank D. Anger	[20]
5	K. Jon Barwise (Jon Barwise)	[31]
6	Jan A. Bergstra	[16]
7	Guram Bezhanishvili	[39] [43] [50] [59]
8	Nick Bezhanishvili	[94]
9	Denis Bonnay	[68]
10	Balder ten Cate	[50] [62] [75]
11	Giovanna D'Agostino	[23] [24]
12	Cédric Dégremont	[70]
13	Hans P. van Ditmarsch	[87]
14	Jan van Eijck	[17] [47] [52]
15	Mai Gehrke	[39]
16	Jelle Gerbrandy	[61] [74] [76]
17	Amélie Gheerbrant	[82]
18	Sujata Ghosh	[64]
19	Patrick Girard	[77]
20	Davide Grossi	[84]
21	Hans W. Guesgen (Hans Werner Guesgen)	[20]
22	Amitabha Gupta	[93]
23	Vincent F. Hendricks	[49] [54] [66]
24	Ian M. Hodkinson	[94]
25	Tomohiro Hoshi	[76]
26	Daisuke Ikegami	[69]
27	David Israel	[29]
28	Elie el Khoury	[71]
29	Barteld P. Kooi	[47] [52] [74]
30	Theo Kuipers	[85]
31	Fenrong Liu	[55] [64] [84]
32	Stefan Minica	[78] [87]
33	Angelo Montanari	[23] [24]
34	István Németi	[19]
35	Breanndán Ó Nualláin	[35]
36	Eric Pacuit	[53] [61] [72] [76] [81] [86] [88] [92]
37	Rohit Parikh	[93]
38	Alberto Policriti	[23] [24]
39	Ian Pratt-Hartmann (Ian E. Pratt)	[60] [63]
40	Maarten de Rijke	[35]
41	Rita V. Rodríguez	[20]
42	Robert van Rooy	[42]
43	Olivier Roy	[77] [88]
44	Darko Sarenac	[50]
45	Yoav Shoham	[22]
46	Vera Stebletsova	[17]
47	John Symons	[49] [54] [66]
48	Jouko A. Väänänen	[62] [75]
49	Fernando R. Velázquez-Quesada	[80]
50	Henk Visser	[85]
51	Dag Westerståhl	[18]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page