| Publication | Date of Publication | Type |
|---|
| On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview | 2023-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224588 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419896 | 2014-06-11 | Paper |
| Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle | 2012-10-01 | Paper |
| A remark on propositional Kripke frames sound for intuitionistic logics | 2012-08-05 | Paper |
| A remark on superintuitionistic predicate logics of Kripke frames with constant and with nested domains | 2011-10-21 | Paper |
| Quantification in nonclassical logic. Volume I. | 2009-10-08 | Paper |
| On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames | 2007-04-13 | Paper |
| On the predicate logic of linear Kripke frames and some of its extensions | 2006-03-17 | Paper |
| The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311050 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681892 | 2005-06-08 | Paper |
| On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424654 | 2003-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411816 | 2003-07-10 | Paper |
| Remark on a finite axiomatization of finite intermediate propositional logics | 2002-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250046 | 2001-12-03 | Paper |
| On some Kripke complete and Kripke incomplete intermediate predicate logics | 2001-09-30 | Paper |
| On the existence of continua of logics between some intermediate predicate logics | 2001-06-18 | Paper |
| Not every ``tabular predicate logic is finitely axiomatizable | 1998-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896535 | 1998-02-01 | Paper |
| Non-axiomatizable second order intuitionistic propositional logic | 1997-07-23 | Paper |
| On the predicate logics of finite Kripke frames | 1995-02-22 | Paper |
| Maximal Kripke-type semantics for modal and superintuitionistic predicate logics | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694215 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005426 | 1992-09-26 | Paper |
| On axiomatization of many-valued logics associated with formalization of plausible reasonings | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733853 | 1988-01-01 | Paper |
| On the question of “how many”: Definition of the notion of cardinality of finite sets in some arithmetical systems | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782858 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3799665 | 1987-01-01 | Paper |
| Logics of some Kripke frames connected with Medvedev notion of informational types | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782857 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726224 | 1986-01-01 | Paper |
| One superintuitionistic calculus of propositions | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3738617 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731599 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703317 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4750637 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941383 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966105 | 1981-01-01 | Paper |
| On the connection of finitary general validity of certain propositional formulas with derivability in the Kreisel-Putnam logic | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3879217 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880811 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3879216 | 1979-01-01 | Paper |
| Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206930 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912782 | 1979-01-01 | Paper |
| The occurrence of an implication in finitely valid, intuitively unprovable formulas of propositional logic | 1977-01-01 | Paper |
