Marco Hollenberg
From MaRDI portal
Person:1288170
Available identifiers
zbMath Open hollenberg.marcoMaRDI QIDQ1288170
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Characterizations of negative definability in modal logic | 2000-09-04 | Paper |
| Dynamic negation, the one and only | 2000-07-24 | Paper |
| Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218938 | 1999-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215595 | 1999-02-22 | Paper |
| An equational axiomatization of dynamic negation and relational composition | 1998-03-12 | Paper |
| Counting variables in a dynamic setting | 1997-03-11 | 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: Marco Hollenberg
