1. Hajnal Andréka, István Németi & Johan van Benthem (1998): Modal Languages and Bounded Fragments of Predicate Logic. J. Philos. Log. 27(3), pp. 217–274, doi:10.1023/A:1004275029985.
  2. Alexandru Baltag & Johan van Benthem (2021): A Simple Logic of Functional Dependence. Journal of Philosophical Logic, doi:10.1007/s10992-020-09588-z.
  3. Alexandru Baltag & Sonja Smets (2020): Learning What Others Know. In: Elvira Albert & Laura Kovacs: LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing 73. EasyChair, pp. 90–119, doi:10.29007/plm4. Available at
  4. Johan van Benthem (2001): Exploring Logical Dynamics. Studia Logica 67(1), pp. 111–114, doi:10.1023/A:1017389612557.
  5. Erich Grädel & Phil Pützstück (2021): Logics of Dependence and Independence: The Local Variants.
  6. Erich Grädel (1999): On the Restraining Power of Guards. Journal of Symbolic Logic 64(4), pp. 17191742, doi:10.2307/2586808.
  7. B. Herwig (1998): Extending partial isomorphisms for the small index property of many ω-categorical structures. Israel Journal of Mathematics 107, pp. 93–123, doi:10.1007/BF02764005.

Comments and questions to:
For website issues: