| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5869604 | 2022-09-28 | Paper |
| Multi-valued Verification of Strategic Ability | 2021-05-20 | Paper |
| Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics | 2017-05-16 | Paper |
| Efficient reasoning with inconsistent information using C-systems | 2017-05-16 | Paper |
| Three-Valued Logic for Reasoning about Covering-Based Rough Sets | 2015-04-02 | Paper |
| Cut-free sequent calculi for C-systems with generalized finite-valued semantics | 2013-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918414 | 2013-04-24 | Paper |
| Finite-valued logics for information processing | 2012-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086716 | 2011-03-30 | Paper |
| A decompositional deduction system for a logic featuring inconsistency and uncertainty | 2009-11-30 | Paper |
| Proof systems for reasoning about computation errors | 2009-05-08 | Paper |
| Rough sets and 3-valued logics | 2009-03-17 | Paper |
| Processing Information from a Set of Sources | 2009-02-05 | Paper |
| Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics | 2007-04-10 | Paper |
| A multi-modal logic for disagreement and exhaustiveness | 2007-02-26 | Paper |
| Multi-valued Calculi for Logics Based on Non-determinism | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818743 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450445 | 2004-02-15 | Paper |
| A multimodal logic for reasoning about complementarity | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484490 | 2003-06-12 | Paper |
| Rasiowa-Sikorski deduction systems in computer science applications. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329272 | 2002-11-26 | Paper |
| Decomposition proof systems for Gödel-Dummett logics | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941933 | 2000-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267169 | 2000-11-14 | Paper |
| Reasoning with first order nondeterministic specifications | 1999-11-01 | Paper |
| A relational formalisation of arbitrary finite valued logics | 1999-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246974 | 1999-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250051 | 1999-09-29 | Paper |
| A logic for reasoning about relative similarity | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4880144 | 1996-10-08 | Paper |
| Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus | 1994-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035250 | 1993-05-18 | Paper |
| A logic for reasoning about stochastic information | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3977997 | 1992-06-25 | Paper |
| A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786005 | 1987-01-01 | Paper |
| A query language allowing conditions of relational type in queries | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690267 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745295 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3933810 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195987 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160440 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160441 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4086707 | 1975-01-01 | Paper |
| Continuous machines | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685643 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093039 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180854 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5678428 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685642 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212658 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212659 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632558 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632559 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632560 | 1971-01-01 | Paper |
