dblp.uni-trier.dewww.uni-trier.de

Johan van Benthem

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
65EEJohan van Benthem: Decisions, Actions, and Games: A Logical Perspective. ICLA 2009: 1-22
64EEJohan van Benthem: The information in intuitionistic logic. Synthese 167(2): 251-270 (2009)
2008
63EEMarco Aiello, Johan van Benthem, E. el Khoury: Visualizing Compositions of Services from Large Repositories. CEC/EEE 2008: 359-362
62EEJohan van Benthem, Daisuke Ikegami: Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science 2008: 146-165
61EEJohan van Benthem: Logic and Reasoning: do the facts matter? Studia Logica 88(1): 67-84 (2008)
60EEJohan van Benthem, Vincent F. Hendricks, John Symons: Editorial. Synthese 160(1): 1-4 (2008)
59EEJohan van Benthem: The many faces of interpolation. Synthese 164(3): 451-460 (2008)
58EEJohan van Benthem, Sujata Ghosh, Fenrong Liu: Modelling simultaneous games in dynamic logic. Synthese 165(2): 247-268 (2008)
2007
57 Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: Handbook of Spatial Logics Springer 2007
56EEBalder ten Cate, Johan van Benthem, Jouko A. Väänänen: Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
55EEJohan van Benthem, Jelle Gerbrandy, Eric Pacuit: Merging frameworks for interaction: DEL and ETL. TARK 2007: 72-81
54EEMarco Aiello, Ian Pratt-Hartmann, Johan van Benthem: What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11
53EEJohan van Benthem, Guram Bezhanishvili: Modal Logics of Space. Handbook of Spatial Logics 2007: 217-298
52EEJohan van Benthem, Vincent F. Hendricks, John Symons: Editorial. Synthese 154(1): 1-3 (2007)
2006
51EEJohan van Benthem, Eric Pacuit: The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic 2006: 87-106
50EEJohan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)
49EEJohan van Benthem: Modal Frame Correspondences and Fixed-Points. Studia Logica 83(1-3): 133-155 (2006)
48EEJohan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006)
2005
47EEJohan van Benthem: An Essay on Sabotage and Obstruction. Mechanizing Mathematical Reasoning 2005: 268-276
46EEJohan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261
45 Johan van Benthem: Open Problems in Logic and Games. We Will Show Them! (1) 2005: 229-264
44EEJohan van Benthem: Guards, Bounds, and Generalized Semantics. Journal of Logic, Language and Information 14(3): 263-279 (2005)
2003
43EEMarco Aiello, Johan van Benthem, Guram Bezhanishvili: Reasoning About Space: The Modal Way. J. Log. Comput. 13(6): 889-920 (2003)
42EEJohan van Benthem, Robert van Rooy: Connecting the Different Faces of Information. Journal of Logic, Language and Information 12(4): 375-379 (2003)
41EEJohan van Benthem: Conditional Probability Meets Update Logic. Journal of Logic, Language and Information 12(4): 409-421 (2003)
40EEJohan van Benthem: Logic Games are Complete for Game Logics. Studia Logica 75(2): 183-203 (2003)
39EEJohan 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
35EEBreanndá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
34EEJohan van Benthem: `On Being Informed': Update Logics for Knowledge States. JELIA 2000: 1
33EEJohan van Benthem: Information Transfer across Chu Spaces. Logic Journal of the IGPL 8(6): (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)
28EEJohan 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)
21EEJohan van Benthem: Modal Foundations for Predicate Logic. Logic Journal of the IGPL 5(2): (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
19EEHajnal 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

1Marco Aiello [38] [43] [54] [57] [63]
2Hajnal Andréka [19]
3Frank D. Anger [20]
4K. Jon Barwise (Jon Barwise) [31]
5Jan A. Bergstra [16]
6Guram Bezhanishvili [39] [43] [48] [53]
7Balder ten Cate [48] [56]
8Giovanna D'Agostino [23] [24]
9Jan van Eijck [17] [46] [50]
10Mai Gehrke [39]
11Jelle Gerbrandy [55]
12Sujata Ghosh [58]
13Hans W. Guesgen [20]
14Vincent F. Hendricks [52] [60]
15Daisuke Ikegami [62]
16David Israel [29]
17E. el Khoury [63]
18Barteld P. Kooi [46] [50]
19Fenrong Liu [58]
20Angelo Montanari [23] [24]
21István Németi [19]
22Breanndán Ó Nualláin [35]
23Eric Pacuit [51] [55]
24Alberto Policriti [23] [24]
25Ian Pratt-Hartmann [54] [57]
26Maarten de Rijke [35]
27Rita V. Rodríguez [20]
28Robert van Rooy [42]
29Darko Sarenac [48]
30Yoav Shoham [22]
31Vera Stebletsova [17]
32John Symons [52] [60]
33Jouko A. Väänänen [56]
34Dag Westerståhl [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)