| Publication | Date of Publication | Type |
|---|
| Logic families | 2023-11-01 | Paper |
| Universal algebraic logic. Dedicated to the unity of science | 2022-11-08 | Paper |
| Complexity of equational theory of relational algebras with standard projection elements | 2017-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853724 | 2013-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789455 | 2003-01-29 | Paper |
| On the search for a finitizable algebraization of first order logic | 2001-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268476 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250071 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349281 | 1997-11-05 | Paper |
| Finite schematizable algebraic logic | 1997-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349280 | 1997-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873967 | 1996-08-22 | Paper |
| Decidable and undecidable logics with a binary modality | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873976 | 1996-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873974 | 1996-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870556 | 1996-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870570 | 1996-03-26 | Paper |
| Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators | 1996-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305492 | 1994-10-12 | Paper |
| Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus | 1994-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273484 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273438 | 1994-01-13 | Paper |
| Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics | 1993-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4032851 | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011731 | 1992-09-27 | Paper |
| Temporal logics need their clocks | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975138 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3979260 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976046 | 1992-06-26 | Paper |
| On the strength of temporal proofs | 1991-01-01 | Paper |
| An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic | 1989-01-01 | Paper |
| Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs? | 1989-01-01 | Paper |
| Weak second order characterizations of various program verification systems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472083 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832569 | 1989-01-01 | Paper |
| Concerning some cylindric algebra versions of the downward Löwenheim- Skolem theorem | 1988-01-01 | Paper |
| Total correctness in nonstandard logics of programs | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698302 | 1985-01-01 | Paper |
| A simple proof for the completeness of Floyd's method | 1985-01-01 | Paper |
| STRUCTURED NONSTANDARD DYNAMIC LOGIC | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325017 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669604 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346470 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693677 | 1983-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. II | 1982-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. I | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958640 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039413 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4748191 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939224 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956920 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968473 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896482 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198727 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208642 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883472 | 1979-01-01 | Paper |
