| Publication | Date of Publication | Type |
|---|
| Probabilistic autoepistemic equilibrium logic | 2024-10-24 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2024-10-24 | Paper |
| A propositional logical encoding of enriched interactions in abstract argumentation graphs | 2024-09-06 | Paper |
| Multi-adjoint lattice logic and truth-stressing hedges | 2023-10-30 | Paper |
| Logical connectives for two-state semantics | 2023-10-30 | Paper |
| Metric dynamic equilibrium logic | 2023-10-30 | Paper |
| A logical characterization of multi-adjoint algebras | 2023-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039150 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869667 | 2022-09-28 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2022-02-04 | Paper |
| Splitting Epistemic Logic Programs | 2021-09-03 | Paper |
| Autoepistemic answer set programming | 2021-08-16 | Paper |
| Valid attacks in argumentation frameworks with recursive attacks | 2021-06-04 | Paper |
| Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case | 2021-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116396 | 2020-08-25 | Paper |
| Autoepistemic equilibrium logic and epistemic specifications | 2020-03-27 | Paper |
| Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports | 2020-02-12 | Paper |
| Abductive Reasoning on Molecular Interaction Maps | 2020-02-07 | Paper |
| Temporal Logic Modeling of Biological Systems | 2020-02-04 | Paper |
| Splitting epistemic logic programs | 2019-10-10 | Paper |
| Geometrical structures and modal logic | 2019-04-29 | Paper |
| Talkin'bout consistency, or: When logically possible becomes possible | 2019-04-29 | Paper |
| Modal Logic With Non-deterministic Semantics: Part I - Propositional Case | 2018-08-29 | Paper |
| Argumentation frameworks with recursive attacks and evidence-based supports | 2018-06-26 | Paper |
| Metabolic Pathways as Temporal Logic Programs | 2016-11-30 | Paper |
| Translation of first order formulas into ground formulas via a completion theory | 2016-04-07 | Paper |
| How to Produce Information About a Given Entity Using Automated Deduction Methods | 2014-07-23 | Paper |
| Capturing equilibrium models in modal logic | 2014-04-24 | Paper |
| Combining Equilibrium Logic and Dynamic Logic | 2013-10-10 | Paper |
| Bi-state Logic | 2012-07-23 | Paper |
| The Modal Logic of Equilibrium Models | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007260 | 2011-06-21 | Paper |
| Contingency-Based Equilibrium Logic | 2011-05-26 | Paper |
| Information About a Given Entity: From Semantics Towards Automated Deduction | 2011-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530459 | 2003-09-11 | Paper |
| Tractability Results in the Block Algebra | 2002-11-27 | Paper |
| A general framework for pattern-driven modal tableaux | 2002-11-13 | Paper |
| Minimal structures for modal tableaux: Some examples | 2002-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539631 | 2002-07-10 | Paper |
| A relational model of movement | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494316 | 2001-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520799 | 2001-02-27 | Paper |
| A mixed decision method for duration calculus | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946223 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4947999 | 2000-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952297 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944961 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247690 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4235432 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229943 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229944 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225117 | 1999-07-05 | Paper |
| Complete Axiomatization of a Relative Modal Logic with Composition and Intersection | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225116 | 1999-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385351 | 1998-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385438 | 1998-04-13 | Paper |
| Modal logics for incidence geometries | 1997-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698609 | 1995-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4846468 | 1995-08-27 | Paper |
| From ordering-based nonmonotonic reasoning to conditional logics | 1994-07-18 | Paper |
| Interference logic = conditional logic + frame axiom | 1994-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4295874 | 1994-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279076 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998525 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012181 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012256 | 1992-09-27 | Paper |
| Modal resolution in clausal form | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3351355 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3800001 | 1988-01-01 | Paper |
| An algebraic evaluation method for deduction in incomplete data bases | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803093 | 1988-01-01 | Paper |
| A note on the complexity of the satisfiability of modal Horn clauses | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791122 | 1987-01-01 | Paper |
| MOLOG: A system that extends PROLOG with modal logic | 1986-01-01 | Paper |
| Corrigendum to: ``DAL -- a logic for data analysis | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3722492 | 1986-01-01 | Paper |
| A Modal Herbrand's Property | 1986-01-01 | Paper |
| DAL -- a logic for data analysis | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3704917 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3767322 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338212 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696492 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341874 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680806 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3333006 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742767 | 1982-01-01 | Paper |
| A simple deduction method for modal logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4748126 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309045 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3865460 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138192 | 1977-01-01 | Paper |
