The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Johan van Benthem: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johan van Benthem
    Modality, relational guards, and decidability (invited paper). [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:18- [Conf]
  2. Johan van Benthem, Eric Pacuit
    The Tree of Knowledge in Action: Towards a Common Perspective. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:87-106 [Conf]
  3. Johan van Benthem
    An Essay on Sabotage and Obstruction. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:268-276 [Conf]
  4. Johan van Benthem
    Open Problems in Logic and Games. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:229-264 [Conf]
  5. Johan van Benthem
    The Logic of Cognitive Action. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:810-812 [Conf]
  6. Johan van Benthem
    `On Being Informed': Update Logics for Knowledge States. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:1- [Conf]
  7. Johan van Benthem
    Process Operations in Extended Dynamic Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:244-250 [Conf]
  8. Johan van Benthem
    Time, logic and computation. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:1-49 [Conf]
  9. Johan van Benthem
    Reasoning and Programming: Analogies between Logic and Computation. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:717-718 [Conf]
  10. Johan van Benthem
    Epistemic Logic: From Knowledge to Cognition. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:167-168 [Conf]
  11. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
    Common knowledge in update logics. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:253-261 [Conf]
  12. Johan van Benthem
    Modality, Bisimulation and Interpolation in Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:29-41 [Journal]
  13. Frank D. Anger, Rita V. Rodríguez, Hans W. Guesgen, Johan van Benthem
    Space, Time, and Computation: Trends and Problems. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 1996, v:6, n:1, pp:5-9 [Journal]
  14. Johan van Benthem
    Logic as programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:4, pp:285-317 [Journal]
  15. Johan van Benthem
    Modal Frame Classes Revisited. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1993, v:18, n:, pp:307-317 [Journal]
  16. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
    Logics of communication and change. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:11, pp:1620-1662 [Journal]
  17. Johan van Benthem
    Information Transfer across Chu Spaces. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
  18. Johan van Benthem
    Modal Foundations for Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:2, pp:- [Journal]
  19. Johan van Benthem
    Temporal Patterns and Modal Structure. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:7-26 [Journal]
  20. Marco Aiello, Johan van Benthem
    A Modal Walk Through Space. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:319-364 [Journal]
  21. Johan van Benthem
    The Range of Modal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal]
  22. Johan van Benthem
    Extensive Games as Process Models. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:3, pp:289-313 [Journal]
  23. Johan van Benthem
    Conditional Probability Meets Update Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:4, pp:409-421 [Journal]
  24. Johan van Benthem
    Guards, Bounds, and Generalized Semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2005, v:14, n:3, pp:263-279 [Journal]
  25. Johan van Benthem, Jan A. Bergstra
    Logic of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1994, v:3, n:4, pp:247-283 [Journal]
  26. Johan van Benthem, David Israel
    Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:390-397 [Journal]
  27. Johan van Benthem, Robert van Rooy
    Connecting the Different Faces of Information. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:4, pp:375-379 [Journal]
  28. Johan van Benthem, Yoav Shoham
    Editorial: Cognitive Actions in Focus. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:2, pp:119-121 [Journal]
  29. Jon Barwise, Johan van Benthem
    Interpolation, Preservation, and Pebble Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:881-903 [Journal]
  30. Johan van Benthem
    A Note on Modal Formulae and Relational Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:1, pp:55-58 [Journal]
  31. Johan van Benthem
    Modal Reduction Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:301-312 [Journal]
  32. Johan van Benthem
    Modal Formulas are Either Elementary or not sigma triangle-Elementary. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:436-438 [Journal]
  33. Johan van Benthem
    Canonical Modal Logics and Ultrafilter Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:1-8 [Journal]
  34. Johan van Benthem
    Questions About Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:2, pp:443-466 [Journal]
  35. Johan van Benthem
    Editorial: The Elusive Locus of Logicality. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:5, pp:451-453 [Journal]
  36. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
    Modal Deduction in Second-Order Logic and Set Theory - I. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:2, pp:251-265 [Journal]
  37. Johan van Benthem, Jan van Eijck, Vera Stebletsova
    Modal Logic, Transition Systems and Processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:811-855 [Journal]
  38. Marco Aiello, Johan van Benthem, Guram Bezhanishvili
    Reasoning About Space: The Modal Way. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:6, pp:889-920 [Journal]
  39. Johan van Benthem
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:3, pp:301-304 [Journal]
  40. Johan van Benthem
    Notes on Modal Definability. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:20-35 [Journal]
  41. Johan van Benthem
    Logical Constants Across Varying Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:315-342 [Journal]
  42. Johan van Benthem
    Program Constructions that are Safe for Bisimulation. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:2, pp:311-330 [Journal]
  43. Johan van Benthem
    Logic Games are Complete for Game Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:2, pp:183-203 [Journal]
  44. Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
    Euclidean Hierarchy in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:327-344 [Journal]
  45. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
    Modal Deduction in Second-Order Logic and Set Theory - II. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:2, pp:387-420 [Journal]
  46. Johan van Benthem, Dag Westerståhl
    Directions in generalized quantifier theory. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:3, pp:389-419 [Journal]
  47. Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
    Lindstrom theorems for fragments of first-order logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:280-292 [Conf]

  48. Modal Fixed-Point Logic and Changing Models. [Citation Graph (, )][DBLP]


  49. Logic between Expressivity and Complexity. [Citation Graph (, )][DBLP]


  50. Deontics = Betterness + Priority. [Citation Graph (, )][DBLP]


  51. Merging frameworks for interaction: DEL and ETL. [Citation Graph (, )][DBLP]


  52. Visualizing Compositions of Services from Large Repositories. [Citation Graph (, )][DBLP]


  53. Decisions, Actions, and Games: A Logical Perspective. [Citation Graph (, )][DBLP]


  54. Toward a Dynamic Logic of Questions. [Citation Graph (, )][DBLP]


  55. Bridges between Dynamic Doxastic and Doxastic Temporal Logics. [Citation Graph (, )][DBLP]


  56. Lindström theorems for fragments of first-order logic [Citation Graph (, )][DBLP]


Search in 0.143secs, Finished in 0.145secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002