| Publication | Date of Publication | Type |
|---|
| Unification types and union splittings in intermediate logics | 2022-05-21 | Paper |
| Finitary unification in locally tabular modal logics characterized | 2022-03-03 | Paper |
| Unification in first-order transitive modal logic | 2019-11-04 | Paper |
| UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS | 2019-06-07 | Paper |
| Almost structurally complete infinitary consequence operations extending S4.3 | 2019-01-08 | Paper |
| Modal consequence relations extending S4.3: an application of projective unification | 2016-12-15 | Paper |
| Projective unification in modal logic | 2012-08-01 | Paper |
| An algorithm for the number of path homomorphisms | 2009-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5324062 | 2009-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3540341 | 2008-11-20 | Paper |
| Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). | 2008-06-23 | Paper |
| Completeness theory for propositional logics | 2007-07-27 | Paper |
| A proof system for classical logic | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820597 | 2004-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408993 | 2003-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2772905 | 2002-09-03 | Paper |
| \(Cn\)-definitions of propositional connectives | 2002-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943161 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250065 | 1999-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690140 | 1997-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025011 | 1993-02-22 | Paper |
| On structural completeness of implicational logics | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475249 | 1990-01-01 | Paper |
| Independent axiomatizability of sets of sentences | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676122 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690794 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707995 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661544 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734369 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325691 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3921200 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3921201 | 1981-01-01 | Paper |
| Matrix representations for structural strengthenings of a propositional logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196408 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198478 | 1979-01-01 | Paper |
| On structural completeness of many-valued logics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133632 | 1977-01-01 | Paper |
