The following pages link to Johannes Ebbing (Q302213):
Displaying 8 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Boolean Dependence Logic and Partially-Ordered Connectives (Q2849426) (← links)
- Extended Modal Dependence Logic $\mathcal{EMDL}$ (Q2849427) (← links)
- A Fragment of Dependence Logic Capturing Polynomial Time (Q2878749) (← links)
- Complexity of Model Checking for Modal Dependence Logic (Q2891371) (← links)
- Dependence logic with a majority quantifier (Q2911629) (← links)
- Model Checking for Modal Intuitionistic Dependence Logic (Q4914522) (← links)
