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
Boolean Dependence Logic and Partially-Ordered Connectives	2013-09-17	Paper
Extended Modal Dependence Logic $\mathcal{EMDL}$	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Ebbing