Model Checking for Modal Intuitionistic Dependence Logic. - Johannes Ebbing; Peter Lohmann; Fan Yang 004 (TbiLLC, 2011)

Complexity of Model Checking for Modal Dependence Logic. - Johannes Ebbing; Peter Lohmann (SOFSEM, 2012)

Extended Modal Dependence Logic. - Johannes Ebbing; Lauri Hella; Arne Meier; Julian-Steffen Müller; Jonni Virtema; Heribert Vollmer (WoLLIC, 2013)

A Fragment of Dependence Logic Capturing Polynomial Time - Johannes Ebbing; Juha Kontinen; Julian-Steffen Müller; Heribert Vollmer (Log. Methods Comput. Sci., 2014)

Dependence Logic with a Majority Quantifier. - Arnaud Durand 001; Johannes Ebbing; Juha Kontinen; Heribert Vollmer (J. Log. Lang. Inf., 2015)

Boolean dependence logic and partially-ordered connectives. - Johannes Ebbing; Lauri Hella; Peter Lohmann; Jonni Virtema (J. Comput. Syst. Sci., 2017)