 | 2009 |
|---|
| 68 |       | Johan van Benthem:
Decisions, Actions, and Games: A Logical Perspective.
ICLA 2009: 1-22 |
| 67 | | Johan van Benthem,
Stefan Minica:
Toward a Dynamic Logic of Questions.
LORI 2009: 27-41 |
| 66 | | 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) |
| 65 | | Johan van Benthem,
Jelle Gerbrandy,
Barteld P. Kooi:
Dynamic Update with Probabilities.
Studia Logica 93(1): 67-96 (2009) |
| 64 | | Johan van Benthem:
The information in intuitionistic logic.
Synthese 167(2): 251-270 (2009) |
| 2008 |
|---|
| 63 | | Marco Aiello,
Johan van Benthem,
Elie el Khoury:
Visualizing Compositions of Services from Large Repositories.
CEC/EEE 2008: 359-362 |
| 62 | | Johan van Benthem,
Daisuke Ikegami:
Modal Fixed-Point Logic and Changing Models.
Pillars of Computer Science 2008: 146-165 |
| 61 | | Johan van Benthem:
Logic and Reasoning: do the facts matter?
Studia Logica 88(1): 67-84 (2008) |
| 60 | | Johan van Benthem,
Vincent F. Hendricks,
John Symons:
Editorial.
Synthese 160(1): 1-4 (2008) |
| 59 | | Johan van Benthem:
The many faces of interpolation.
Synthese 164(3): 451-460 (2008) |
| 58 | | Johan 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 |
| 56 | | Balder ten Cate,
Johan van Benthem,
Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic.
LICS 2007: 280-292 |
| 55 | | Johan van Benthem,
Jelle Gerbrandy,
Eric Pacuit:
Merging frameworks for interaction: DEL and ETL.
TARK 2007: 72-81 |
| 54 | | Marco Aiello,
Ian Pratt-Hartmann,
Johan van Benthem:
What is Spatial Logic?
Handbook of Spatial Logics 2007: 1-11 |
| 53 | | Johan van Benthem,
Guram Bezhanishvili:
Modal Logics of Space.
Handbook of Spatial Logics 2007: 217-298 |
| 52 | | Johan van Benthem,
Vincent F. Hendricks,
John Symons:
Editorial.
Synthese 154(1): 1-3 (2007) |
| 2006 |
|---|
| 51 | | Johan van Benthem,
Eric Pacuit:
The Tree of Knowledge in Action: Towards a Common Perspective.
Advances in Modal Logic 2006: 87-106 |
| 50 | | Johan van Benthem,
Jan van Eijck,
Barteld P. Kooi:
Logics of communication and change.
Inf. Comput. 204(11): 1620-1662 (2006) |
| 49 | | Johan van Benthem:
Modal Frame Correspondences and Fixed-Points.
Studia Logica 83(1-3): 133-155 (2006) |
| 48 | | Johan van Benthem,
Guram Bezhanishvili,
Balder ten Cate,
Darko Sarenac:
Multimo dal Logics of Products of Topologies.
Studia Logica 84(3): 369-392 (2006) |
| 2005 |
|---|
| 47 | | Johan van Benthem:
An Essay on Sabotage and Obstruction.
Mechanizing Mathematical Reasoning 2005: 268-276 |
| 46 | | Johan 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 |
| 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): (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): (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) |
