@article(ModLangBoundFragmPredLog, author = {Hajnal Andr{\'{e}}ka and Istv{\'{a}}n N{\'{e}}meti and Johan van Benthem}, year = {1998}, title = {Modal Languages and Bounded Fragments of Predicate Logic}, journal = {J. Philos. Log.}, volume = {27}, number = {3}, pages = {217--274}, doi = {10.1023/A:1004275029985}, ) @article(BaltagvBenthemLFD, author = {Alexandru Baltag and Johan van Benthem}, year = {2021}, title = {A Simple Logic of Functional Dependence}, journal = {Journal of Philosophical Logic}, doi = {10.1007/s10992-020-09588-z}, ) @inproceedings(Learning_What_Others_Know, author = {Alexandru Baltag and Sonja Smets}, year = {2020}, title = {Learning What Others Know}, editor = {Elvira Albert and Laura Kovacs}, booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning}, series = {EPiC Series in Computing}, volume = {73}, publisher = {EasyChair}, pages = {90--119}, doi = {10.29007/plm4}, url = {https://easychair.org/publications/paper/V8Jp}, ) @article(Exploring_Lo_Dyn, author = {Johan van Benthem}, year = {2001}, title = {Exploring Logical Dynamics}, journal = {Studia Logica}, volume = {67}, number = {1}, pages = {111--114}, doi = {10.1023/A:1017389612557}, ) @misc(local_deps, author = {Erich Gr\"{a}del and Phil P\"{u}tzst\"{u}ck}, year = {2021}, title = {Logics of Dependence and Independence: The Local Variants}, ) @article(grAdel_1999, author = {Gr\IeC{\"a}del, Erich}, year = {1999}, title = {On the Restraining Power of Guards}, journal = {Journal of Symbolic Logic}, volume = {64}, number = {4}, pages = {1719\IeC{\textendash}1742}, doi = {10.2307/2586808}, ) @article(Herwig1998ExtendingPI, author = {B.~Herwig}, year = {1998}, title = {Extending partial isomorphisms for the small index property of many $\omega$-categorical structures}, journal = {Israel Journal of Mathematics}, volume = {107}, pages = {93--123}, doi = {10.1007/BF02764005}, )