| Publication | Date of Publication | Type |
|---|
| A finitary outer measure logic | 2023-05-16 | Paper |
| An infinitary propositional probability logic | 2023-04-27 | Paper |
| A two‐dimensional metric temporal logic | 2020-05-29 | Paper |
| A two-dimensional metric temporal logic | 2019-03-14 | Paper |
| A completeness theorem for continuous predicate modal logic | 2019-01-24 | Paper |
| Continuous propositional modal logic | 2019-01-14 | Paper |
| A natural deduction system for bundled branching time logic | 2018-08-28 | Paper |
| Retracted article: ``A completeness theorem for continuous predicate modal logic | 2017-10-09 | Paper |
| A predicate extension of real valued logic | 2017-09-15 | Paper |
| A note on infinitary continuous logic | 2016-01-07 | Paper |
| Preservation of properties in nonstandard hulls of \(C^\ast\)-algebras | 2015-04-17 | Paper |
| The eal truth | 2015-03-19 | Paper |
| Quantum coherent spaces and linear logic | 2011-05-10 | Paper |
| Some properties of nonstandard hulls of Banach algebras | 2011-04-06 | Paper |
| Isometry games in Banach spaces | 2008-11-07 | Paper |
| A note on unbounded metric temporal logic over dense time domains | 2007-02-07 | Paper |
| An approach to infinitary temporal proof theory | 2005-02-11 | Paper |
| A Way of Making World Quantification Explicit | 2004-10-28 | Paper |
| An infinitary variant of Metric Temporal Logic over dense time domains | 2004-08-06 | Paper |
| A proof-theoretic investigation of a logic of positions | 2003-09-25 | Paper |
| A nonstandard proof of the Eberlein-Smulian theorem | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4792323 | 2003-07-10 | Paper |
| Consequences of neocompact quantifier elimination | 2003-04-10 | Paper |
| Neocompact quantifier elimination in structures based on Banach spaces | 2001-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247298 | 2000-07-29 | Paper |
| Approximating classical theorems | 2000-07-13 | Paper |
| Fixed points in the nonstandard hull of a Banach space | 2000-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699354 | 2000-05-04 | Paper |
| A parallel game semantics for linear logic | 1999-10-28 | Paper |
| The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable | 1998-11-10 | Paper |
| Pure-injective modules over the dihedral algebras | 1997-04-20 | Paper |
| Non Standard Regular Finite Set Theory | 1996-02-20 | Paper |
| A theory of sets with the negation of the axiom of infinity | 1995-03-05 | Paper |
| A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete | 1994-09-22 | Paper |
| A Modal Approach to Negation as Failure Rule | 1994-09-13 | Paper |
| A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200532 | 1991-01-01 | Paper |
| Karp's interpolation theorem for some classes of infinitary languages | 1989-01-01 | Paper |
| On Some Properties of Recursively Enumerable Equivalence Relations | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832076 | 1988-01-01 | Paper |
| Continuous logic in a classical setting | N/A | Paper |
