| Publication | Date of Publication | Type |
|---|
| On Kripke completeness of modal predicate logics around quantified \textbf{K5} | 2022-12-08 | Paper |
| Segerberg Squares of Modal Logics and Theories of Relation Algebras | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224587 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636310 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636053 | 2018-04-23 | Paper |
| Bisimulation games and locally tabular logics | 2017-03-03 | Paper |
| Derivational Modal Logics with the Difference Modality | 2015-06-19 | Paper |
| Products of modal logics and tensor products of modal algebras | 2014-11-20 | Paper |
| On squares of modal logics with additional connectives | 2014-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419891 | 2014-06-11 | Paper |
| Squares of modal logics with additional connectives | 2012-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012545 | 2011-07-06 | Paper |
| Quantification in nonclassical logic. Volume I. | 2009-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509042 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483014 | 2006-08-15 | Paper |
| Modal Logics of Regions and Minkowski Spacetime | 2005-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311049 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474858 | 2004-07-21 | Paper |
| Products of modal logics. III. Products of modal and temporal logics | 2003-03-12 | Paper |
| « Everywhere » and « here » | 2002-09-25 | Paper |
| Products of modal logics, part 1 | 2000-07-30 | Paper |
| Products of modal logics. Part 2: relativised quantifiers in classical logic | 2000-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215603 | 1999-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833776 | 1995-05-23 | Paper |
| Maximal Kripke-type semantics for modal and superintuitionistic predicate logics | 1994-08-28 | Paper |
| Undecidability of modal and intermediate first-order logics with two individual variables | 1994-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694215 | 1993-06-29 | Paper |
| Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable | 1990-01-01 | Paper |
| Logics of some Kripke frames connected with Medvedev notion of informational types | 1986-01-01 | Paper |
| Modal logics of domains on the real plane | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964525 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967518 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902989 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880811 | 1979-01-01 | Paper |
| Two-dimensional modal logic | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198475 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206929 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163190 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198476 | 1977-01-01 | Paper |
| A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems” | 1977-01-01 | Paper |
