Johannes Ebbing

Available identifiers

zbMath Open ebbing.johannesMaRDI QIDQ302213

List of research outcomes

Publication	Date of Publication	Type
Boolean dependence logic and partially-ordered connectives	2017-06-30	Paper
Dependence logic with a majority quantifier	2016-07-04	Paper
A fragment of dependence logic capturing polynomial time	2014-09-05	Paper
Extended Modal Dependence Logic $\mathcal{EMDL}$	2013-09-17	Paper
Boolean Dependence Logic and Partially-Ordered Connectives	2013-09-17	Paper
Model Checking for Modal Intuitionistic Dependence Logic	2013-04-12	Paper
Dependence logic with a majority quantifier	2012-08-31	Paper
Complexity of Model Checking for Modal Dependence Logic	2012-06-15	Paper

Research outcomes over time

This page was built for person: Johannes Ebbing