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.
Alexandru Baltag & Johan van Benthem (2021):
A Simple Logic of Functional Dependence.
Journal of Philosophical Logic,
doi:10.1007/s10992-020-09588-z.
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 https://easychair.org/publications/paper/V8Jp.
Johan van Benthem (2001):
Exploring Logical Dynamics.
Studia Logica 67(1),
pp. 111–114,
doi:10.1023/A:1017389612557.
Erich Grädel & Phil Pützstück (2021):
Logics of Dependence and Independence: The Local Variants.
Erich Grädel (1999):
On the Restraining Power of Guards.
Journal of Symbolic Logic 64(4),
pp. 17191742,
doi:10.2307/2586808.
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.
eptcs@eptcs.org