Johannes Ebbing

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Totally Ordered

Sequent Calculus

Top Venues

J. Comput. Syst. Sci.

J. Log. Lang. Inf.

Publications

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean dependence logic and partially-ordered connectives. J. Comput. Syst. Sci. 88 (2017)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence Logic with a Majority Quantifier. J. Log. Lang. Inf. 24 (3) (2015)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. CoRR (2014)
Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer
A Fragment of Dependence Logic Capturing Polynomial Time Log. Methods Comput. Sci. 10 (3) (2014)
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
Extended Modal Dependence Logic. WoLLIC (2013)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. WoLLIC (2013)
Johannes Ebbing, Peter Lohmann
Complexity of Model Checking for Modal Dependence Logic. SOFSEM (2012)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence logic with a majority quantifier. FSTTCS (2011)
Johannes Ebbing, Peter Lohmann, Fan Yang
Model Checking for Modal Intuitionistic Dependence Logic. TbiLLC (2011)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence logic with a majority quantifier CoRR (2011)
Johannes Ebbing, Peter Lohmann
Complexity of Model Checking for Modal Dependence Logic CoRR (2011)