| Publication | Date of Publication | Type |
|---|
| MAXIMALITY OF LOGIC WITHOUT IDENTITY | 2024-04-05 | Paper |
| Metastable convergence and logical compactness | 2024-01-12 | Paper |
| Asymptotic truth-value laws in many-valued logics | 2023-06-24 | Paper |
| Frame definability in finitely valued modal logics | 2023-05-19 | Paper |
| Restricted analytic valued fields with partial exponentiation | 2023-02-18 | Paper |
| One-variable fragments of intermediate logics over linear frames | 2022-06-13 | Paper |
| Every minimal dual discriminator variety is minimal as a quasivariety | 2021-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5221581 | 2020-04-02 | Paper |
| The one-variable fragment of corsi logic | 2020-03-04 | Paper |
| Lindström’s Theorem for Positive Logics, a Topological View | 2020-02-03 | Paper |
| On a characterization of path connected topological fields | 2019-08-15 | Paper |
| Decidability of order-based modal logics | 2017-06-30 | Paper |
| Bi-modal Godel logic over [0,1-valued Kripke frames] | 2015-02-26 | Paper |
| Omitting uncountable types and the strength of \([0,1\)-valued logics] | 2014-04-01 | Paper |
| XV Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, Colombia, June 4—8, 2012 | 2014-01-17 | Paper |
| A Finite Model Property for Gödel Modal Logics | 2013-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3064901 | 2010-12-28 | Paper |
| Standard Gödel modal logics | 2010-04-26 | Paper |
| A Godel Modal Logic | 2009-03-16 | Paper |
| Equivalence and quantifier rules for logic with imperfect information | 2009-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3499701 | 2008-06-02 | Paper |
| Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic | 2007-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410356 | 2006-11-27 | Paper |
| Implicit connectives of algebraizable logics | 2005-04-07 | Paper |
| Definability and automorphisms in abstract logics | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542796 | 2002-10-14 | Paper |
| An algebraic approach to intuitionistic connectives | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395566 | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941994 | 2000-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699335 | 1999-11-10 | Paper |
| Subdirect decomposition of \(n\)-chromatic graphs | 1999-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400873 | 1999-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395560 | 1999-01-19 | Paper |
| Finitely axiomatizable quasivarieties of graphs | 1996-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835614 | 1995-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282958 | 1994-10-17 | Paper |
| Compactness and normality in abstract logics | 1993-05-16 | Paper |
| Definability properties and the congruence closure | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496323 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778022 | 1988-01-01 | Paper |
| A simple solution to Friedman's fourth problem | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768890 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3688380 | 1985-01-01 | Paper |
| On extensions of \(L_{\omega\omega}(Q_1)\) | 1981-01-01 | Paper |
| Independent Sets of Axioms In Lκα | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929916 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872438 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888153 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912851 | 1980-01-01 | Paper |
| A formal system for the non-theorems of the propositional calculus | 1978-01-01 | Paper |
